Projects in Awesome Lists tagged with sat-solver-application
A curated list of projects in awesome lists tagged with sat-solver-application .
https://github.com/hadipourh/autoguess
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
blockcipher constraint-programming cryptanalysis cryptography groebner-basis guess-and-determine key-bridging milp minizinc or-tools pysat pysmt python3 sagemath sat sat-solver-application smt stream-ciphers
Last synced: 25 Feb 2026
https://github.com/davidsusu/jsatbuilder
SAT formula builder with constraint dependency tracking written in Java
constraint-programming constraint-propagation dependency-tracker java library sat-solver-application
Last synced: 14 Jan 2026
