We released the first stable version of Zeus2.
We recommend all users to update to Zeus2. ZeusNNF is out of date and the development of it has been stopped.
Zeus2 has been completly rewritten. We are using the latest technologies and Zeus is now much more useable and integration into your application is as easy as never before.
You can now compile a DLL and just include the header files or, just include the main header file "zeus.h" and that's it.
The new ZeusNNF release is out now!
We added many new commands to the integrated ZeusNNF shell. It is also possible now to write, load and execute scripts for the shell.
We also improved many algorithms and did many bugfixes.
Also included to this release is a little example : the famous XOR problem.