msat-0.1.1
- msat 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- prateekkumarweb
- Dependencies
- rsat =0.1.12 normal
  solhop-types =0.1.0 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Crate msat

msat0.1.1

All Items

Crate Items

Functions

Crate msat

Expand description

MaxSAT Solver

Functions§

solve: Solves the maxsat (unweighted) formula and returns the solution along with the optimum