torg-verify 0.2.2

Formal verification for TØR-G boolean circuits
Documentation
  • Coverage
  • 100%
    1 out of 1 items documented0 out of 0 items with examples
  • Size
  • Source code size: 4.25 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 980.5 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 17s Average build duration of successful builds.
  • all releases: 16s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • arkavo-ai/torg
    0 0 0
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • arkavo-com

torg-verify

Formal verification for TØR-G boolean circuits.

Crates.io Documentation

Status

🚧 Planned — Not yet implemented.

Planned Features

  • SAT solver integration for satisfiability checking
  • BDD representation for efficient analysis
  • Equivalence checking between circuits
  • Property verification (safety, liveness)

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.