An interface for IPASIR api of SAT solvers.
To use this package, run the following command in your project's root directory:
Put the following dependency into your project's dependences section:
- Registered by wadoon
- 0.0.1 released 3 years ago
- Copyright © 2019, Alexander Weigl