Las características principales de ohadlev77/sat-circuits-engine son: Quantum Compilers.
Las alternativas de código abierto para ohadlev77/sat-circuits-engine incluyen: bbn-q/pyqgl2. boschmitt/tweedledum. cda-tum/mqt-ion-shuttler. cda-tum/mqt-predictor. cda-tum/mqt-qmap. artiste-qb-net/qubiter.