550 results for “topic:sat-solver”
An advanced SAT solver
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Simple Theorem Prover, an efficient SMT solver for bitvectors
SRI Yices SMT Solver
gophersat, a SAT solver in Go
a Pythonic toolkit for working with Boolean expressions
Access to all MiniZinc functionality directly from Python
My sandbox for experimenting with solver algorithms.
A fast SAT solver
华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计算机系统基础实验(CSAPP)，组原实验，计网，软件工程，操作系统、函数式编程，头歌
Go (golang) bindings to the Z3 SMT Solver
SAT solver written in Go (golang).
The glucose SAT solver
GAPT: General Architecture for Proof Theory
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
A modular sat/smt solver with proof output.
Experimental minisat SAT solver reimplementation in Rust
A Header-Only CDCL SAT Solver for Programming Contest
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Use MiniZinc in the browser or with NodeJS
A simple SAT solver that implements the DPLL algorithm with unit resolution
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
A SAT solver written in Haskell.
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
A (parametrized) Rust SAT solver originally based on MiniSat
DPLL(T)-based Verification tool for DNNs
Tiny verified SAT-solver
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.