Merged in norbertmanthey/muser2/ipasir (pull request #2)
5cac3ee·Author: norbertmanthey·Closed by: Anton Belov·2017-12-27
Description
While muser already links against a number of SAT solvers, even simpler extension can be done by using the IPASIR interface, as this interface can is a simple way to link against solvers, and linking against future solvers might be possible without any modification.
While muser already links against a number of SAT solvers, even simpler extension can be done by using the IPASIR interface, as this interface can is a simple way to link against solvers, and linking against future solvers might be possible without any modification.