costamag

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

benchmarks

EPFL logic synthesis benchmarks

bill

C++ header-only reasoning library

BinaryNet

Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

BinaryNet-1

Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

fiction

An open-source framework for design automation of Field-coupled Nanotechnologies.

iwls2020-lsml-contest

kitty

C++ truth table library

lorina

C++ parsing library for simple formats used in logic synthesis and formal verification

mockturtle

C++ logic network library

costamag/bill

C++ header-only reasoning library

costamag/mockturtle

C++ logic network library

costamag/benchmarks

EPFL logic synthesis benchmarks

costamag/abc

ABC: System for Sequential Logic Synthesis and Formal Verification

costamag/z3

The Z3 Theorem Prover

costamag/fiction

An open-source framework for design automation of Field-coupled Nanotechnologies.

costamag/kitty

C++ truth table library

costamag/resyn-benchmarks

A collection of benchmarks for the generalized resynthesis problem

costamag/lorina

C++ parsing library for simple formats used in logic synthesis and formal verification

costamag/BinaryNet

Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

costamag/iwls2020-lsml-contest

costamag/BinaryNet-1

Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1