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:

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

  • 0 downloads total

Score:
0.4
Short URL:
ipasir-d.dub.pm