New in Version 1.6 [Build #30]

• Significantly improved QBF Preprocessor
• Significantly improved Resolution for Predicate Logic

Earlier Versions

• Version 1.55 [Build #29] - 28 January 2010
• Version 1.54 [Build #28] - 22 September 2009
• Version 1.53 [Build #27] - 21 November 2007
• Version 1.52 [Build #26] - 20 September 2007
• Version 1.51 [Build #25] - 12 June 2007
• Version 1.5 [Build #24] - 23 May 2007
• Version 1.4 [Build #23] - 11 December 2006
• Version 1.32 [Build #21] - 20 January 2006
• Version 1.31 [Build #20] - 13 December 2005
• Version 1.3 [Build #19] - 05 December 2005
• Version 1.2 [Build #18] - 01 December 2004
• Version 1.1 [Build #17] - 17 June 2004
• Version 1.06 [Build #16] - 18 February 2004
• Version 1.05 [Build #15] - 15 December 2003
• Version 1.0 [Build #14] - 03 September 2003
• Version 0.9 [Build #13] - 18 August 2003
• Version 0.8 [Build #12] - 05 August 2003
• Version 0.7 [Build #11] - 22 July 2002
• Version 0.61 [Build #10] - 21 December 2001
• Version 0.6 [Build #9] - 19 December 2001
• Version 0.5 [Build #8] - 17 July 2001
• Version 0.4 [Build #7] - 27 June 2001
• Version 0.3 [Build #6] - 24 June 2001
• Version 0.2 [Build #5] - 13 June 2001
• Version 0.1 [Build #4] - 18 May 2001

Version 1.55 [Build #29]

• Bugfix for problems with tautologies and free variables in the (Q)DIMACS file import

Version 1.54 [Build #28]

• Improved QBF Preprocessor
• New Feature: Display statistics about QCNF* formulas
• Bugfix: incorrect QBF preprocessing statistics
• Bugfix: incorrect handling of files passed on command line

Version 1.53 [Build #27]

• New Feature: ProverBox is now fully scriptable through the system command line
• Improved statistics output for QBF Preprocessor

Version 1.52 [Build #26]

• Improved random formula generator for QHORN
• Bugfix for QBF Preprocessor

Version 1.51 [Build #25]

• Improved QBF Preprocessor

Version 1.5 [Build #24]

• New Feature: QBF Preprocessor
• New Feature: Universal Expansion for QBF*
• New Feature: Finding Horn Renamings in Propositional Logic and QBF*
• Enhancement: additional options for customizing ProverBox
• Enhancement: ability to suppress large output
• Bugfix: incorrect frame dimensions at startup

Version 1.4 [Build #23]

• DIMACS and QDIMACS Import and Export
• DavisPutnam Module: can now Prove and Solve
• Internal Improvements in Handling Large Formulas
• Lots of minor Enhancements and Bugfixes

Version 1.32 [Build #21]

• Bugfixes and Performance Improvements

Version 1.31 [Build #20]

• Performance Improvements

Version 1.3 [Build #19]

• Random Formula Generator for QBF*
• Performance Improvements
• Minor Enhancements and Bugfixes

Version 1.2 [Build #18]

• New Specification Language: QBF*

Version 1.1 [Build #17]

• It is now possible to use propositional expressions in predicate logic
• New License Management
• Preferences Dialog added
• Resolution Module: significant Performance Improvements
• Minor Enhancements and Bugfixes

Version 1.06 [Build #16]

• Improved Skolemization Algorithm

Version 1.05 [Build #15]

• Command Prompt: Tab Key allows to Reuse Previous Result
• Minor Enhancements and Bugfixes

Version 1.0 [Build #14]

• Significantly improved Resolution Module
• New option to Generate a Complete CNF for a propositional formula
• Davis-Putnam Module: a Counterexample is provided if a theorem is not provable
• Improved Error Handling in Command Prompt and Editor
• other minor Enhancements and Bugfixes

Version 0.9 [Build #13]

• Added Proof Tree Output feature to I/O manager
• Improved Output for Resolution module
• Multithreading: Commands can now be executed as independent threads
• Added Undo&Redo feature to editor
• Lots of minor Enhancements and Bugfixes

Version 0.8 [Build #12]

• New Formula Manager Hierarchy
• Library Routines for Predicate Logic
• New Module: Resolution
• Support for Commands with flags
• Added "CLS" Command, allowing to tidy up the screen
• Improved Help System
• Automatic Declarations now supported by user interface

Version 0.7 [Build #11]

• Specification Files now use XML
• Added Parser
• Implemented Language Manager
• Modular Architecture for formula and symbol managers
• New Specification Language: Propositional Logic
• View Menu added
• Project Name changed to ProverBox
• Improved Command Prompt with support for nested commands
• Added Commands for Axiom and Theorem Handling
• Improved Help System
• Added Predefined Types "ANY" and "BOOL"
• Added Auto Declare
• Improved Plugin API
• Comfortable User Interface for selecting current language and module
• Added support for formulas in CNF Clause-Set Representation
• New Commands for transforming formulas into propositional normal forms
• New Command: Truth Tables for propositional formulas
• Support for embedding Components in the output
• Included Sample Module: DavisPutnam

Version 0.61 [Build #10]

• Bugfixes

Version 0.6 [Build #9]

• Editor added
• User Settings implemented
• Command Prompt: added command history
• Working Menu Bar
• Optimized Resizing Behaviour

Version 0.5 [Build #8]

• New syntax for Declarations
• Improved handling for the Equivalence operator

Version 0.4 [Build #7]

• Formula manager added
• Command Prompt: error reporting improved

Version 0.3 [Build #6]

• Further work on Help System
• Better error reporting when using the Command Prompt
• About and Version commands added
• Plugin Interface revised
• Symbol manager now produces sorted output
• Added simple I/O commands

Version 0.2 [Build #5]

• Help System introduced
• Symbol manager completed
• Resource management improved
• Bugfixes

Version 0.1 [Build #4]

• Symbol manager introduced