Jekejeke Prolog 1.2.4 (SAT solver)
We have just uploaded the new release of Jekejeke Prolog. We made a first use of the new API for attributed variables. More...
Lets meet Pollux our new Search Index
This is just to let you know that our website www.jekejeke.ch features a new search index. The search index is code named pollux, and its a n-gram index. More...
Jekejeke Documentation on Issuu
This is just to let you know that the Jekejeke documentation is kept updated by us on Issuu. Issuu is an electronic magazin publishing and printing service, which has applications for mobiles and the desktop. More...
Server www.jekejeke.ch is Up Again
This is to let you know that the new server behind www.jekejeke.ch is up again and running, and that we could complete our cut-over maintenance window. How well did it go? More...