Paracooba
From MaRDI portal
Software:1354210
No author found.
Source code repository: https://github.com/maximaximal/Paracooba
Related Items (11)
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver ⋮ Progress in certifying hardware model checking results ⋮ SAT competition 2020 ⋮ Supercharging plant configurations using Z3 ⋮ OptiLog: a framework for SAT-based systems ⋮ Deep cooperation of CDCL and local search for SAT ⋮ Efficient all-UIP learned clause minimization ⋮ The \textsc{MergeSat} solver ⋮ Certified DQBF solving by definition extraction ⋮ Scalable SAT solving in the cloud ⋮ Logical cryptanalysis with WDSat
This page was built for software: Paracooba
