A random testing tool for IPASIR SAT solvers
-
Updated
May 16, 2021 - C++
#
ipasir
Here are 3 public repositories matching this topic...
Low-level Java bindings to the IPASIR C interface
-
Updated
Mar 6, 2022 - Java
An executable museum of logic: one system, one evidence file, Zig.
zig logic theorem-proving verification model-checking formal-methods sat-solver smt automated-reasoning pdr aiger proof-checking ipasir lean4
-
Updated
Aug 20, 2026 - Zig
Add this topic to your repo
To associate your repository with the ipasir topic, visit your repo's landing page and select "manage topics."