C++ parsing library for simple formats used in logic synthesis and formal verification
Primary LanguageC++MIT LicenseMIT