admin/gmh5225-awesome-game-security
1
0
Fork 0
mirror of https://github.com/gmh5225/awesome-game-security synced 2026-06-21 13:56:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
3ef3c6289600e8c691ee6a861c04349a9d60c417
gmh5225-awesome-game-security/description/nbulsi/cirsat/description_en.txt
T

1 line
216 B
Plaintext
Raw Blame History

A circuit-based SAT solver that operates directly on AIG (And-Inverter Graph) representations, using circuit-aware reasoning with AIGER format support for hardware verification and combinational equivalence checking.
Reference in New Issue View Git Blame Copy Permalink