Skip to content
@NTU-ALComLab

ALCom Lab

Pinned Loading

  1. LSV-PA LSV-PA Public

    Forked from berkeley-abc/abc

    Logic Synthesis and Verification: Programming Assignments

    C 16 291

  2. ssatABC ssatABC Public

    Stochastic SAT solver within ABC

    C 7 2

  3. SliQSim SliQSim Public

    A BDD-based Quantum Circuit Simulator

    C 26 12

  4. ClauSSat ClauSSat Public

    C++ 3 3

  5. SliQSim-Qiskit-Interface SliQSim-Qiskit-Interface Public

    The Qiskit Provider of SliQSim

    Python 3 2

  6. ssat-benchmarks ssat-benchmarks Public

    Collection of SSAT instances

    1

Repositories

Showing 10 of 30 repositories
  • LSV-PA Public Forked from berkeley-abc/abc

    Logic Synthesis and Verification: Programming Assignments

    NTU-ALComLab/LSV-PA's past year of commit activity
    C 16 854 2 1 Updated Sep 27, 2026
  • SharpSSAT Public

    A witness-generating stochastic Boolean satisfiability solver

    NTU-ALComLab/SharpSSAT's past year of commit activity
    C++ 2 MIT 4 0 0 Updated Sep 4, 2026
  • SSMT Public

    Exact Symbolic Reasoning for Nonlinear Stochastic SMT via Cylindrical Algebraic Decomposition

    NTU-ALComLab/SSMT's past year of commit activity
    Python 1 0 0 0 Updated Sep 4, 2026
  • PQSim Public

    Quantum simulation tool based on gate excision technique

    NTU-ALComLab/PQSim's past year of commit activity
    OpenQASM 1 0 0 0 Updated Aug 7, 2026
  • NTU-ALComLab.github.io Public
    NTU-ALComLab/NTU-ALComLab.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Jul 27, 2026
  • SliQEC Public

    A BDD-based Quantum Circuit Equivalence Checker

    NTU-ALComLab/SliQEC's past year of commit activity
    C 15 2 0 0 Updated Jun 29, 2026
  • Generalized-Toffoli-gates Public
    NTU-ALComLab/Generalized-Toffoli-gates's past year of commit activity
    Python 0 0 0 0 Updated May 10, 2026
  • QubiCycle Public
    NTU-ALComLab/QubiCycle's past year of commit activity
    OpenQASM 1 0 0 0 Updated Dec 11, 2025
  • SliQSim Public

    A BDD-based Quantum Circuit Simulator

    NTU-ALComLab/SliQSim's past year of commit activity
    C 26 12 0 0 Updated Sep 18, 2025
  • DQMaxSharpSAT2DSSAT Public
    NTU-ALComLab/DQMaxSharpSAT2DSSAT's past year of commit activity
    C++ 0 MIT 0 0 0 Updated Aug 31, 2025
View all repositories

Most used topics

Loading…