Searched defs:BtorSATMgr (Results 1 – 1 of 1) sorted by relevance
21 typedef struct BtorSATMgr BtorSATMgr; typedef23 struct BtorSATMgr struct27 void *solver;28 Btor *btor;30 const char *name; /* solver name */57 void (*add) (BtorSATMgr *, int32_t); /* required */ argument84 BtorSATMgr *smgr; /* SAT manager wrapped by DIMACS printer. */ argument