/ipamir-rs

IPAMIR MaxSAT solver interface for Rust

Primary LanguageRust

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.