Status](https://travis-ci.org/wadoon/ipasir-d.svg?branch=master)](https://travis-ci.org/wadoon/ipasir-d)
%5D(https://travis-ci.org/wadoon/ipasir-d){kind=link}
An interface for IPASIR api of SAT solvers.
License: The dlang interface is license under GPL-v3. Please respect the license of the linked SAT solvers.
Creating static and shared libraries
$ make all