ipasir-d ~master
An interface for IPASIR api of SAT solvers.
To use this package, run the following command in your project's root directory:
Manual usage
Put the following dependency into your project's dependences section:
ipasir-d [](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.
Compile
Creating static and shared libraries
$ make all
- Registered by wadoon
- ~master released 5 years ago
- wadoon/ipasir-d
- github.com/waddon/ipasir-d
- GPL-3.0
- Copyright © 2019, Alexander Weigl
- Authors:
- Dependencies:
- none
- Versions:
-
Show all 3 versions0.0.2 2019-Feb-10 0.0.1 2019-Feb-10 ~master 2019-Feb-12 - Download Stats:
-
-
0 downloads today
-
0 downloads this week
-
0 downloads this month
-
7 downloads total
-
- Score:
- 0.7
- Short URL:
- ipasir-d.dub.pm