diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-04 20:35:36 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-04 20:35:36 -0800 |
commit | 8c2e51824e8925ea4e2ba6635fa24d44f10f155e (patch) | |
tree | 27275e16f1ad97f5ee5490675a4ba3edb449961a /src/sat/msat/msatSolverApi.c | |
parent | d75b8ce8744539271bfce97551450f7b4bcba452 (diff) | |
download | abc-8c2e51824e8925ea4e2ba6635fa24d44f10f155e.tar.gz abc-8c2e51824e8925ea4e2ba6635fa24d44f10f155e.tar.bz2 abc-8c2e51824e8925ea4e2ba6635fa24d44f10f155e.zip |
Experimental implementation of BMC-related procedures.
Diffstat (limited to 'src/sat/msat/msatSolverApi.c')
0 files changed, 0 insertions, 0 deletions