hriener/lorina

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

C++MIT