Thanks to visit codestin.com
Credit goes to github.com

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 15 241

  2. ssatABC ssatABC Public

    Stochastic SAT solver within ABC

    C 7 2

  3. SliQSim SliQSim Public

    A BDD-based Quantum Circuit Simulator

    C 23 8

  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 27 repositories
  • SharpSSAT Public

    A witness-generating stochastic Boolean satisfiability solver

    NTU-ALComLab/SharpSSAT’s past year of commit activity
    C++ 1 MIT 4 0 0 Updated Jan 19, 2026
  • 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 15 728 0 0 Updated Dec 28, 2025
  • NTU-ALComLab.github.io Public
    NTU-ALComLab/NTU-ALComLab.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Nov 9, 2025
  • SliQSim Public

    A BDD-based Quantum Circuit Simulator

    NTU-ALComLab/SliQSim’s past year of commit activity
    C 23 8 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
  • 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 Jul 17, 2025
  • SLENT Public

    A Symbolic Model Checking Approach to the Analysis of String and Length Constraints

    NTU-ALComLab/SLENT’s past year of commit activity
    C 3 1 0 1 Updated Jul 12, 2025
  • SliQEC Public

    A BDD-based Quantum Circuit Equivalence Checker

    NTU-ALComLab/SliQEC’s past year of commit activity
    C 13 2 0 0 Updated Jul 10, 2025
  • JoRGS Public

    JoRGS: Joint Rotation Ggate Synthesis

    NTU-ALComLab/JoRGS’s past year of commit activity
    C++ 0 1 0 0 Updated Nov 5, 2024
  • cert-SSAT Public
    NTU-ALComLab/cert-SSAT’s past year of commit activity
    C++ 0 0 0 0 Updated May 11, 2024
View all repositories

Most used topics

Loading…