Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcSat.c139 sat_solver_store_write( pSat, "trace.cnf" ); in Abc_NtkMiterSat()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatSolver.h85 extern void sat_solver_store_write( sat_solver * s, char * pFileName );
H A DsatSolver.c2393 void sat_solver_store_write( sat_solver * s, char * pFileName ) in sat_solver_store_write() function