Pinned Repositories
ClauSSat
ext-folding
A circuit folding interface in ABC system
LogicRegression
LSV-PA
Logic Synthesis and Verification: Programming Assignments
SLENT
A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
SliQEC
A BDD-based Quantum Circuit Equivalence Checker
SliQSim
A BDD-based Quantum Circuit Simulator
SliQSim-Qiskit-Interface
The Qiskit Provider of SliQSim
ssat-benchmarks
Collection of SSAT instances
ssatABC
Stochastic SAT solver within ABC
ALCom Lab's Repositories
NTU-ALComLab/SliQSim
A BDD-based Quantum Circuit Simulator
NTU-ALComLab/LSV-PA
Logic Synthesis and Verification: Programming Assignments
NTU-ALComLab/SliQEC
A BDD-based Quantum Circuit Equivalence Checker
NTU-ALComLab/ssatABC
Stochastic SAT solver within ABC
NTU-ALComLab/ClauSSat
NTU-ALComLab/ext-folding
A circuit folding interface in ABC system
NTU-ALComLab/SliQSim-Qiskit-Interface
The Qiskit Provider of SliQSim
NTU-ALComLab/LogicRegression
NTU-ALComLab/MCC2021
Files to participate in the Model Counting Competition 2021
NTU-ALComLab/SLENT
A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
NTU-ALComLab/ext-sample
A sampling circuit generator package embedded in abc.
NTU-ALComLab/IWLS2021
Code repository for the IWLS 2021 Programming Contest
NTU-ALComLab/ssat-benchmarks
Collection of SSAT instances
NTU-ALComLab/TLCanonicalLib
A canonical library for threshold logic functions
NTU-ALComLab/TLCollapseVerify
NTU-ALComLab/XCEC-abc
ABC: System for Sequential Logic Synthesis and Formal Verification
NTU-ALComLab/cert-SSAT
NTU-ALComLab/ClauSSat-Theta
NTU-ALComLab/DSSATpre
(D)SSAT solver and preprocessor
NTU-ALComLab/elimssat
A quantified elimination based SSAT solver
NTU-ALComLab/JoRGS
JoRGS: Joint Rotation Ggate Synthesis
NTU-ALComLab/PGM2SSAT
Stochastic Boolean Satisfiability (SSAT) encoding of Probabilistic Graphical Model (PGM) problems
NTU-ALComLab/SharpSSAT
A witness-generating stochastic Boolean satisfiability solver
NTU-ALComLab/TLShareLib
Threshold Logic Weight Vector Library.