Message Board

AllComments
Jan Burse, Jekejeke Prolog 1.2.4 (SAT solver)
Jan Burse, Jekejeke Prolog 1.2.3 (type 1 and type 2 API)