An open API service providing repository metadata for many open source software ecosystems.

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