NTU-ALComLab/SLENT NTU-ALComLab/SLENT

  • Stars
    star
    2
  • Language
    C
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NTU-ALComLab/SLENT
github

NTU-ALComLab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

SliQSim

A BDD-based Quantum Circuit Simulator
C
17
star
2

SliQEC

A BDD-based Quantum Circuit Equivalence Checker
C
11
star
3

ssatABC

Stochastic SAT solver within ABC
C
5
star
4

SliQSim-Qiskit-Interface

The Qiskit Provider of SliQSim
Python
3
star
5

ext-folding

A circuit folding interface in ABC system
C++
3
star
6

ClauSSat

C++
2
star
7

LogicRegression

C
2
star
8

MCC2021

Files to participate in the Model Counting Competition 2021
Python
1
star
9

ssat-benchmarks

Collection of SSAT instances
1
star
10

IWLS2021

Code repository for the IWLS 2021 Programming Contest
Python
1
star
11

TLCanonicalLib

A canonical library for threshold logic functions
1
star
12

ext-sample

A sampling circuit generator package embedded in abc.
C++
1
star