maxpre-0.2.5
Platform
Feature flags

docs.rs

Rust

maxpre 0.2.5

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre

Crate
Source
Builds
Feature flags

cppsrc
src
.cargo_vcs_info.json
.gitignore
.gitmodules
build.rs
Cargo.lock
Cargo.toml
Cargo.toml.orig
LICENSE
README.md

1
2
3

[submodule "cppsrc"]
	path = cppsrc
	url = https://bitbucket.org/coreo-group/maxpre2.git