Lib.rs

› Science › SolHOP
#sat #boolean #satisfiability #max-sat #sol-hop

solhop-types

Types for SolHOP

by Prateek (प्रतीक)

1 unstable release

0.1.0 Oct 18, 2020

#31 in #satisfiability


Used in 3 crates

MIT license

9KB
182 lines

solhop-types

TODO

License

MIT

lib.rs:

Common types used in SolHOP.

Dependencies

~2.1–3MB
~53K SLoC