https://github.com/solhop/msat

MaxSAT Solver
https://github.com/solhop/msat

maxsat maxsat-solver sat satisfiability unsat

Last synced: about 1 month ago
JSON representation

MaxSAT Solver

• Host: GitHub
• URL: https://github.com/solhop/msat
• Owner: solhop
• License: mit
• Archived: true
• Created: 2020-10-17T08:38:23.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-06-26T11:38:47.000Z (about 3 years ago)
• Last Synced: 2024-05-10T20:46:09.586Z (about 2 months ago)
• Topics: maxsat, maxsat-solver, sat, satisfiability, unsat
• Language: Rust
• Homepage: https://solhop.netlify.app/msat/
• Size: 13.7 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - msat - MaxSAT Solver. (Projects / Provers and Solvers)

README

        
# msat

MaxSAT Solver.

[![Crates.io](https://img.shields.io/crates/v/msat.svg?style=for-the-badge)](https://crates.io/crates/msat)

[![Crates.io](https://img.shields.io/crates/d/msat.svg?style=for-the-badge)](https://crates.io/crates/msat)

![Crates.io](https://img.shields.io/crates/l/msat?style=for-the-badge)

[![Docs](https://img.shields.io/badge/api-docs-blue?style=for-the-badge)](https://docs.rs/msat)

Coming soon!

This projetct is still in development.

The APIs can change before the first stable release v1.0.0.

## License

[MIT](LICENSE)