sat-interface 0.1.1

This crate provides an abstraction interface for SAT solvers.
Documentation
  • Coverage
  • 78.26%
    36 out of 46 items documented0 out of 43 items with examples
  • Size
  • Source code size: 41.2 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.91 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 14s Average build duration of successful builds.
  • all releases: 14s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • yaspar-org/sat-interface
    0 0 0
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • BrunoDutertre HuStmpHrrr benjaminfjones

sat-interface

This crate provides an abstraction interface for SAT solvers.

Security

See CONTRIBUTING for more information.

License

This project is licensed under the Apache-2.0 License.