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 11 152

  2. ssatABC ssatABC Public

    Stochastic SAT solver within ABC

    C 5 2

  3. SliQSim SliQSim Public

    A BDD-based Quantum Circuit Simulator

    C 16 6

  4. ClauSSat ClauSSat Public

    C++ 2 2

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

    A witness-generating stochastic Boolean satisfiability solver

    NTU-ALComLab/SharpSSAT’s past year of commit activity
    C++ 0 MIT 1 0 0 Updated Aug 6, 2024
  • cert-SSAT Public
    NTU-ALComLab/cert-SSAT’s past year of commit activity
    C++ 0 0 0 0 Updated May 11, 2024
  • SliQSim Public

    A BDD-based Quantum Circuit Simulator

    NTU-ALComLab/SliQSim’s past year of commit activity
    C 16 6 0 0 Updated Apr 1, 2024
  • DSSATpre Public

    (D)SSAT solver and preprocessor

    NTU-ALComLab/DSSATpre’s past year of commit activity
    C++ 0 0 0 0 Updated Mar 28, 2024
  • ClauSSat-Theta Public Forked from WWFUG/ClauSSat
    NTU-ALComLab/ClauSSat-Theta’s past year of commit activity
    C 0 2 0 0 Updated Mar 27, 2024
  • 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 11 538 0 0 Updated Dec 4, 2023
  • ClauSSat Public
    NTU-ALComLab/ClauSSat’s past year of commit activity
    C++ 2 2 1 0 Updated Nov 10, 2023
  • ext-folding Public archive

    A circuit folding interface in ABC system

    NTU-ALComLab/ext-folding’s past year of commit activity
    C++ 3 MIT 0 0 0 Updated Aug 8, 2023
  • IWLS2021 Public archive

    Code repository for the IWLS 2021 Programming Contest

    NTU-ALComLab/IWLS2021’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Aug 7, 2023
  • SliQEC Public

    A BDD-based Quantum Circuit Equivalence Checker

    NTU-ALComLab/SliQEC’s past year of commit activity
    C 11 1 0 0 Updated May 19, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…