Version.h 132 Bytes
Newer Older
Masahiko Sakai's avatar
Masahiko Sakai committed
1 2 3 4 5
/********* NaPS (Nagoya Pesudo-Boolena Solver) ***********/

#define naps_version "1.02b"
//
// naps-1.02a7-bdd-d3-bdd-thres=180-gs