# 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)