ipasir-d 0.0.2

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 [![Build

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.

Compile

Creating static and shared libraries

$ make all 
Authors:
Dependencies:
none
Versions:
0.0.2 2019-Feb-10
0.0.1 2019-Feb-10
~master 2019-Feb-12
Show all 3 versions
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