EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
-
Updated
May 17, 2024 - Java
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
The Yices SMT Solver
Bottom-up sentential decision diagram compiler.
BreakID, a CNF symmetry-breaking library and tool
The first scalable probabilistic exact counter
Lingeling SAT Solver fork with CMake build
A modern CDCL SAT solver in Rust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Pygplib: Python First-Order Graph Property Library
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
High-level interfaces over @msoos's CryptoMiniSat.
SAT-solver graphical interface for Web [client-side]
SAT-solver graphical interface for Web [server-side]
Solving Sudoku variants with SAT solvers
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Yet Another Sat solvER
The first efficient procedure to test whether a sampler is uniform
Add a description, image, and links to the satisfiability topic page so that developers can more easily learn about it.
To associate your repository with the satisfiability topic, visit your repo's landing page and select "manage topics."