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:

InfoReference

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:
  • Alexander Weigl <weigl@kit.edu>
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.8
Short URL:
ipasir-d.dub.pm