luteberget / ipamir-rs

IPAMIR MaxSAT solver interface for Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

IPAMIR interface for Rust

Create a symlink from your static IPAMIR library to ./libipamir.a in the directory of the crate you are currently compiling.

About

IPAMIR MaxSAT solver interface for Rust


Languages

Language:Rust 100.0%