Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with satisfiability-solver
A curated list of projects in awesome lists tagged with satisfiability-solver .
https://github.com/johnyf/tool_lists
Links to tools by subject
binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification
Last synced: 31 Jul 2024
https://github.com/ohadlev77/sat-circuits-engine
A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.
grovers-algorithm python qiskit quantum-circuit-synthesis quantum-computing satisfiability-solver
Last synced: 03 Aug 2024