Topic: "logic-in-computer-science"
thedhruvrawat/ferryman
Solving the classic Ferryman problem via model-checking using NuSMV Modeller
Size: 2.02 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

muneeb706/sudoku-solver
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.
Language: Python - Size: 2.03 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

Tale152/LTL_model_checker
LTL model checker for lasso paths
Language: Python - Size: 187 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

muneeb706/Prolog-Programs
Solutions of Logic in Computer Science problems in Proloh.
Language: Prolog - Size: 1.18 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

ameya-salankar/proof-checker
The Assignment 2 of the CS F214 course, Logic In Computer Science
Language: C++ - Size: 271 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

maciej-nowak/LCS-Conjunctive-Normal-Form
Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.
Language: Prolog - Size: 35.2 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
