varisat-formula 0.2.2

Basic formula data types used by the Varisat SAT solver
Documentation

Varisat - Formula

Basic formula data types used by the Varisat SAT solver.

The functionality of this crate is re-exported by the main Varisat crate.

License

The Varisat source code is licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in Varisat by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.