Giters
IPASIR 2 Workgroup (ipasir2)

IPASIR 2 Workgroup

ipasir2

Geek Repo

Github PK Tool:Github PK Tool

IPASIR 2 Workgroup's repositories

ipasir2

IPASIR 2 Specification and Discussion

Language:C++Stargazers:5Issues:0Issues:0

ipasir2-cpp

C++ Bindings for IPASIR 2

Language:C++License:MITStargazers:1Issues:0Issues:0

.github

Stargazers:0Issues:0Issues:0

ipasir2_solver_cadical

CaDiCaL SAT Solver with IPASIR 2 Support

Language:C++License:MITStargazers:0Issues:0Issues:0

ipasir2_solver_cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

ipasir2_solver_lingeling

Lingeling SAT Solver IPASIR2 Prototype

Language:CLicense:MITStargazers:0Issues:0Issues:0

ipasir2_solver_minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0