TechnionFV

Formal verification research at the Technion - Israel Institute of Technology

Pinned Repositories

.github
0 1 00
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++0 0 00
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++0 0 00
cadical-rs
Rust bindings for the CaDiCaL SAT solver
Language:C++0 0 01
cadical-rs-clone-and-merge
Rust bindings for the CaDiCaL SAT solver
Language:C++00
cadical_itp
CaDiCaL SAT Solver
Language:C++0 0 00
DRUPing-CaDiCaL
This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.
Language:C++0 0 00
hwmcc24_submission
Our submission for HWMCC24
Language:C2 1 00

TechnionFV/hwmcc24_submission
Our submission for HWMCC24
Language:C2 1 00
TechnionFV/.github
0 1 00
TechnionFV/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++0 0 00
TechnionFV/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++0 0 00
TechnionFV/cadical-rs
Rust bindings for the CaDiCaL SAT solver
Language:C++0 0 01
TechnionFV/cadical-rs-clone-and-merge
Rust bindings for the CaDiCaL SAT solver
Language:C++00
TechnionFV/cadical_itp
CaDiCaL SAT Solver
Language:C++0 0 00
TechnionFV/DRUPing-CaDiCaL
This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.
Language:C++0 0 00