https://github.com/fslivovsky/qute
Tip revision: 308af20c5dcabb7170e550fb816f3e118e2bf6ed authored by peitl on 13 December 2023, 09:21:52 UTC
bugfixes: accept negated QCIR output gate; fix printed partial certificate
bugfixes: accept negated QCIR output gate; fix printed partial certificate
Tip revision: 308af20
File | Mode | Size |
---|---|---|
docopt.cpp @ 3dd23e3 | ||
minisat @ 37dc6c6 | ||
src | ||
.gitmodules | -rw-r--r-- | 173 bytes |
AUTHORS | -rw-r--r-- | 34 bytes |
CMakeLists.txt | -rw-r--r-- | 736 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
README.md | -rw-r--r-- | 1.2 KB |