NTU-ALComLab/ssatABC NTU-ALComLab/ssatABC

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    C
  • License
    Other
  • Created almost 8 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NTU-ALComLab/ssatABC
github

NTU-ALComLab

Reviews

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

Repository Details

Stochastic SAT solver within ABC

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

SliQSim-Qiskit-Interface

The Qiskit Provider of SliQSim
Python
3
star
4

ext-folding

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

ClauSSat

C++
2
star
6

SLENT

A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
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