Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with logic-in-computer-science
A curated list of projects in awesome lists tagged with logic-in-computer-science .
https://github.com/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.
cnf dimacs latin-square logic-in-computer-science python
Last synced: 04 Dec 2024
https://github.com/thedhruvrawat/ferryman
Solving the classic Ferryman problem via model-checking using NuSMV Modeller
logic-in-computer-science model-checking nusmv
Last synced: 09 Nov 2024
https://github.com/muneeb706/prolog-programs
Solutions of Logic in Computer Science problems in Proloh.
logic-in-computer-science logic-programming prolog-programming-language
Last synced: 04 Dec 2024