https://github.com/franciscoknebel/comparadoraig
Implementação de dois comparadores de AAG para verificar equivalência lógica.
https://github.com/franciscoknebel/comparadoraig
aag aig bdd cad sat
Last synced: 3 months ago
JSON representation
Implementação de dois comparadores de AAG para verificar equivalência lógica.
- Host: GitHub
- URL: https://github.com/franciscoknebel/comparadoraig
- Owner: FranciscoKnebel
- License: apache-2.0
- Created: 2018-01-20T23:40:49.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-02-08T02:39:15.000Z (about 7 years ago)
- Last Synced: 2023-03-05T11:55:29.970Z (about 2 years ago)
- Topics: aag, aig, bdd, cad, sat
- Language: C++
- Homepage:
- Size: 2.73 MB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0