Giters
pindakaashq

pindakaashq

Geek Repo

Github PK Tool:Github PK Tool

pindakaashq's repositories

pindakaas

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

Language:RustLicense:MPL-2.0Stargazers:1Issues:0Issues:0

cadical

CaDiCaL SAT Solver

License:MITStargazers:0Issues:0Issues:0