Home
last modified time | relevance | path

Searched refs:__SMTLIBLogic__ (Results 1 – 1 of 1) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DSMTLIBLogic.hpp19 #ifndef __SMTLIBLogic__
20 #define __SMTLIBLogic__ macro