Allow to use SAT Solvers with IPASIR interface#552

Closed

nmanthey wants to merge 4 commits intodiffblue:developfrom

nmanthey:ipasir

Commits on Mar 22, 2017

build: introduce LIBSOLVER environment variable
Norbert Manthey
committed
solvers: add ipasir driver
Norbert Manthey
committed
build: add ipasir solver support
Norbert Manthey
committed
build: test multiple SAT solvers during CI
Norbert Manthey
committed