Projects

Updated 6 months ago

minizinc • Rank 17.3 • Science 36%

Access to all MiniZinc functionality directly from Python

constraint-programming integer-programming linear-programming minizinc optimisation-problem python sat-solver

Updated 6 months ago

kr-sat-solver • Science 49%

A built-from-scratch Python-based SAT Solver implementing the DPLL-recursive algorithm. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam

combinatorial-optimization knowledge-representation propositional-logic sat-solver vrije-universiteit-amsterdam

Updated 6 months ago

sat_algorithms- • Science 49%

algorithm belief-propagation sat sat-solver survey-propagation warning-propagation

Updated 6 months ago

gophersat • Science 26%

gophersat, a SAT solver in Go

artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

minizinc • Rank 17.3 • Science 36%

kr-sat-solver • Science 49%

sat_algorithms- • Science 49%

gophersat • Science 26%