TechnionFV's repositories
cadical
CaDiCaL SAT Solver, this fork solves a minor bug that is yet to be solved in CaDiCal, but is needed for rust bindings..
Language:C++MIT000
CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base
This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.
Language:C++MIT000
cadical-rs
Rust bindings for the CaDiCaL SAT solver
Language:RustMIT000
DRUPing-CaDiCaL
This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.
Language:C++MIT000