working on unit propagation of ground network
added command line options for unit prop
fixed bug with -nopart trying to access table that does not always exist
updated to latest postgres jdbc driver, added time out for (most, maybe all) SQL queries and non-partitioned unit propagation and inference
moved debug message to verbose level 3
added timeout messages and fixed (?) bug with Config.exiting_mode not being reset to false when Tuffy throws an error instead of dying (exiting_mode stayed equal to true, which subsequently causes Tuffy to ignore all exceptions)
removed timeout message
added reset() function to reset exiting_mode and the random number generator
iterative unit prop (first round only)
added check for timeout = 0
added check for timeout = 0
added check for timeout = 0
somewhat ugly hack to get existentially quantified clauses grounding correctly in the presence of evidence
somewhat ugly hack that seems to actually work to get existentially quantified clauses grounding correctly in the presence of evidence. tuffy generates sql queries that pass around arrays of literal ids - 0 is already pruned (probably should just never be collected) so had to flag clauses that are always true with a hardcoded -99999999 value
reverted to old build.sbt, getting iterative unit propagation working
updated to args4j 2.0.16
updating timeouts to return best approx if timeout occurs during MC-Sat sampling
reset mcSatTimedOut to false
added -writeCNF option
fixed write CNF, added switch to always reset schema in Postgres, and including (temporarily?) a python script to take Tuffy's output WCNF and convert into a canonical, reduced WCNF using glucose to find backbones/unit clauses