An interface for IPASIR api of SAT solvers.
dub fetch ipasir-d --version 0.0.2
Status](https://travis-ci.org/wadoon/ipasir-d.svg?branch=master)](https://travis-ci.org/wadoon/ipasir-d)
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
%5D(https://travis-ci.org/wadoon/ipasir-d){kind=link}
$ make all 
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →
Something wrong with this page? Make a suggestion
Export .ABOUT file for this package
Last synced: 2024-04-25 02:01:33 UTC