{{ message }}
a Pythonic toolkit for working with Boolean expressions
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
Conjure: The Automated Constraint Modelling Tool
Librería para usar el servicio web del SAT de Descarga Masiva
Model finder for higher-order logic
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Faithful reimplementation of Minisat 2.2 in OCaml.
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Boolean Constraint Solving in Prolog
Implementations of the Separating axis theorem. Useful for convex collision detection.
The Standard Interface for Incremental Satisfiability Solving
é possivel imprimir em modo paisagem ?
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
Add a description, image, and links to the sat topic page so that developers can more easily learn about it.
To associate your repository with the sat topic, visit your repo's landing page and select "manage topics."
Is your feature request related to a problem? Please describe.
luet search --installedshows the installed packages in the system, but it's way too hidden