pindakaashq

Pinned Repositories

cadical
CaDiCaL SAT Solver
Language:C++00
pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
Language:Rust1 3 01

pindakaashq's Repositories

pindakaashq/pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
Language:Rust1 3 01
pindakaashq/cadical
CaDiCaL SAT Solver
Language:C++00