msat-0.1.1
- msat 0.1.1
- Docs.rs crate page
- MIT
- Links
- Homepage
- Documentation
- 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

Rust

☰

Crate msat

Version 0.1.1

See all msat's items

Functions

?

[−][src]Crate msat

MaxSAT Solver

Functions

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