Beast code in Giters

Yukio Miyasaka's repositories

bdd

Language:C++5 1 3

abc-bdd

Language:CNOASSERTION1 10

abc2

Language:CNOASSERTION1 10

compress_multiply

Language:CNOASSERTION1 10

ttopt

Language:C++1 10

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION000

abcscript

Language:C010

aig

Language:C++010

AlgorithmSynthesis

Language:C++010

BuDDy

git clone https://git.code.sf.net/p/buddy/gitcode buddy-gitcode

Language:C010

comsyn

Language:C++010

dfgmap

Language:C++010

Miyatter

Language:Swift01 7

cacBDD

Language:C++000

cadical

CaDiCaL SAT Solver

Language:C++MIT000

cnnaig

Language:Python000

collective_com

Language:C++010

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

Language:CBSD-3-Clause000

cudd-1

CUDD with CMake

Language:CBSD-3-Clause000

exopt

Language:C++MIT010

glucose

unofficial copy with some arbitrary changes

Language:C++NOASSERTION010

glucose-1

The Glucose SAT Solver (CMake Edition)

Language:C++NOASSERTION000

kissat

Language:CMIT000

newbdd

Language:C++01 2

nextbdd

Language:C++010

nextpnr

nextpnr portable FPGA place and route tool

Language:C++ISC000

Parser-Verilog

A Standalone Structural Verilog Parser

Language:VerilogMIT000

qbf_abc

Language:C++000

transduction

Language:C++000

xeq

Language:Verilog020