logic-in-computer-science

Here are 2 public repositories matching this topic...

Tale152 / LTL_model_checker

LTL model checker for lasso paths

python university logic university-project ltl model-checking erasmus logic-in-computer-science univer ltl-formulas

Updated Apr 3, 2022
Python

A program which will read a sudoku puzzle from a file (some examples are sudoku1.txt, sudoku2.txt, etc) and generate clauses in the DIMACS format for each sudoku puzzle in the files sudokuN.cnf, where N = 1, 2, ..., 5.

python cnf dimacs latin-square logic-in-computer-science

Updated Mar 25, 2020
Python

Improve this page

Add a description, image, and links to the logic-in-computer-science topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic-in-computer-science topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

logic-in-computer-science

Here are 2 public repositories matching this topic...

Tale152 / LTL_model_checker

muneeb706 / sudoku-solver

Improve this page

Add this topic to your repo