Rust bindings for the Kissat SAT solver
A black-box optimization benchmarking framework
Binary that integrates XLS capabilities into a driver program
Zero-allocation, sub-microsecond Sudoku solver with 9-bit bitboard constraint propagation and MRV backtracking.
Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements a SMT translator for subset of the cat language used by herd7 to specify relaxed memory models.
Parse MIP/LP solver log files (Gurobi, Xpress, SCIP, HiGHS, COPT, …) into a unified, serde-serializable schema.
A simple condlict driven clause learning sat solver
Fast static parser for the solver-relevant fields of a rez package.py.
A faithful Rust port of rez's phase-based package solver.
Version and range types matching rez's alphanumeric versioning.
CLI for OxiZ SMT Solver (SMT-LIB2 compliant)
Command-line driver for POUNCE — solves built-in TNLPs and AMPL .nl files.