ipasir-d 0.0.1
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:
- Registered by wadoon
- 0.0.1 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