Skip to content

@NTU-ALComLab ALCom Lab

Change the repository type filter

All

    Repositories list

    27 repositories

    • SharpSSAT

      Public
      A witness-generating stochastic Boolean satisfiability solver
      C++
      •
      MIT License
      •4•1•0•0•Updated Jan 23, 2026Jan 23, 2026

    • LSV-PA

      Public
      Logic Synthesis and Verification: Programming Assignments
      C
      •
      Other
      •720•15•0•0•Updated Dec 28, 2025Dec 28, 2025

    • NTU-ALComLab.github.io

      Public
      HTML
      •0•0•0•0•Updated Nov 9, 2025Nov 9, 2025

    • SliQSim

      Public
      A BDD-based Quantum Circuit Simulator
      C
      •9•24•0•0•Updated Sep 18, 2025Sep 18, 2025

    • DQMaxSharpSAT2DSSAT

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Aug 31, 2025Aug 31, 2025

    • PQSim

      Public
      Quantum simulation tool based on gate excision technique
      OpenQASM
      •0•1•0•0•Updated Jul 17, 2025Jul 17, 2025

    • SLENT

      Public
      A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
      C
      •1•3•0•1•Updated Jul 12, 2025Jul 12, 2025

    • SliQEC

      Public
      A BDD-based Quantum Circuit Equivalence Checker
      C
      •2•13•0•0•Updated Jul 10, 2025Jul 10, 2025

    • JoRGS

      Public
      JoRGS: Joint Rotation Ggate Synthesis
      C++
      •1•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • cert-SSAT

      Public
      C++
      •0•0•0•0•Updated May 11, 2024May 11, 2024

    • DSSATpre

      Public
      (D)SSAT solver and preprocessor
      C++
      •1•1•0•0•Updated Mar 28, 2024Mar 28, 2024

    • ClauSSat-Theta

      Public
      C
      •3•0•0•0•Updated Mar 27, 2024Mar 27, 2024

    • ClauSSat

      Public
      C++
      •3•3•1•0•Updated Nov 10, 2023Nov 10, 2023

    • ext-folding

      Public archive
      A circuit folding interface in ABC system
      c-plus-plusthesisabclogic-synthesisdaciccad
      C++
      •
      MIT License
      •0•3•0•0•Updated Aug 8, 2023Aug 8, 2023

    • IWLS2021

      Public archive
      Code repository for the IWLS 2021 Programming Contest
      pythoncontestveriloglogic-synthesismachine-laerningiwlsalcom
      Python
      •
      MIT License
      •1•1•0•0•Updated Aug 7, 2023Aug 7, 2023

    • ssatABC

      Public
      Stochastic SAT solver within ABC
      C
      •
      Other
      •2•7•6•0•Updated Jan 9, 2023Jan 9, 2023

    • PGM2SSAT

      Public
      Stochastic Boolean Satisfiability (SSAT) encoding of Probabilistic Graphical Model (PGM) problems
      Python
      •0•0•0•0•Updated Dec 19, 2022Dec 19, 2022

    • SliQSim-Qiskit-Interface

      Public
      The Qiskit Provider of SliQSim
      Python
      •
      MIT License
      •2•3•0•0•Updated Dec 12, 2022Dec 12, 2022

    • elimssat

      Public
      A quantified elimination based SSAT solver
      C
      •
      Other
      •1•0•0•0•Updated Aug 27, 2022Aug 27, 2022

    • TLCollapseVerify

      Public
      C
      •
      Other
      •0•1•0•0•Updated Apr 11, 2022Apr 11, 2022

    • ext-sample

      Public
      A sampling circuit generator package embedded in abc.
      C++
      •0•1•0•0•Updated Jul 8, 2021Jul 8, 2021

    • ssat-benchmarks

      Public
      Collection of SSAT instances
      0•1•0•0•Updated Jul 5, 2021Jul 5, 2021

    • MCC2021

      Public
      Files to participate in the Model Counting Competition 2021
      Python
      •0•2•1•0•Updated May 17, 2021May 17, 2021

    • LogicRegression

      Public
      C
      •4•2•0•0•Updated Dec 30, 2020Dec 30, 2020

    • XCEC-abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •720•1•0•0•Updated Aug 26, 2020Aug 26, 2020

    • TLShareLib

      Public
      Threshold Logic Weight Vector Library.
      0•0•0•0•Updated Jul 30, 2019Jul 30, 2019

    • TLCanonicalLib

      Public
      A canonical library for threshold logic functions
      1•1•0•0•Updated Jul 30, 2019Jul 30, 2019