Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by hriener
A curated list of projects in awesome lists by hriener .
https://github.com/hriener/lorina
C++ parsing library for simple formats used in logic synthesis and formal verification
logic-synthesis parsing-library
Last synced: 18 Dec 2024
https://github.com/hriener/easy
C++ header-only ESOP library
boolean-function esop-forms logic-synthesis xor
Last synced: 21 Oct 2024
https://github.com/hriener/parsyn-cegis
SMT-Based CPS Parameter Synthesis and Repair
cyber-physical-systems formal-methods formal-verification synthesis
Last synced: 09 Dec 2024
https://github.com/hriener/aig
C++ header-only And-Inverter graph (AIG) library
logic-gates logic-optimization logic-synthesis verification
Last synced: 08 Dec 2024
https://github.com/hriener/glucose-syrup-4.1
glucose-syrup-4.1 from http://www.labri.fr/perso/lsimon/glucose/ with CMake build file
Last synced: 09 Dec 2024
https://github.com/hriener/behemoth
C++ library for syntax-guided enumeration and synthesis
enumeration syntax-guided-synthesis
Last synced: 09 Dec 2024
https://github.com/hriener/breakid-2.3
breakid-2.3 from https://bitbucket.org/krr/breakid with CMake build file
Last synced: 09 Dec 2024
https://github.com/hriener/cpp-clean
Experimental scripts to clean up metadata in C++ code
Last synced: 09 Dec 2024
https://github.com/hriener/metasmt-toolbox-smt2eval
metaSMT-Based SMT-LIB2 Consistency Checker
binary-decision-diagrams formal-methods sat-solver satisfiability-modulo-theories
Last synced: 09 Dec 2024
https://github.com/hriener/coverage_test
Example repository connecting `travis` with `coveralls`.
Last synced: 09 Dec 2024