torg-verify 0.2.1

Formal verification for TØR-G boolean circuits
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# torg-verify

Formal verification for TØR-G boolean circuits.

[![Crates.io](https://img.shields.io/crates/v/torg-verify.svg)](https://crates.io/crates/torg-verify)
[![Documentation](https://docs.rs/torg-verify/badge.svg)](https://docs.rs/torg-verify)

## 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](LICENSE-APACHE) or [MIT license](LICENSE-MIT) at your option.