Fixed vhdl2verilog help message
Fixed vhdl2verilog temp dir name
Removed ezSAT built-in brute-froce solver
Removed ezSAT::assumed() API
ezSAT bugfix: don't call virtual methods in base class constructor
Added ezSAT::eliminated API to help the SAT solver remember eliminated variables
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
ezSAT: Added frozen_literal() API
fixed freduce for Minisat::SimpSolver: use frozen_literal()
Bugfix in recursive AST simplification
Fixed merging of compatible wire decls in AST frontend
Include id2ast pointers when dumping AST
Switched to EZMINISAT_SIMPSOLVER as default SAT solver