published Published over 1 year ago
ALNS: a Python implementation of the adaptive large neighbourhood search metaheuristic
Python
published Published almost 4 years ago
CircuitGraph: A Python package for Boolean circuits
Python Coq Verilog SystemVerilog
published Published almost 4 years ago