ipasir

Here are 3 public repositories matching this topic...

Executable museum and comparative laboratory of logic in Zig — evidence-gated SAT, model checking, proof checking, and nonclassical reasoning

zig logic theorem-proving verification model-checking formal-methods sat-solver smt automated-reasoning pdr aiger proof-checking ipasir lean4

Low-level Java bindings to the IPASIR C interface

java sat sat-solving ipasir

A random testing tool for IPASIR SAT solvers

testing-tools sat-solver satisfiability ipasir

Add a description, image, and links to the ipasir topic page so that developers can more easily learn about it.

To associate your repository with the ipasir topic, visit your repo's landing page and select "manage topics."