Tests Suite

Jan Burse, created Oct 19. 2017
/**
* Prolog code for the compliance assessment suite.
*
* Copyright 2016, XLOG Technologies GmbH, Switzerland
* Jekejeke Prolog 1.1.3 (a fast and small prolog interpreter)
*/
:- ensure_loaded('../finite/linear').
:- ensure_loaded('../finite/sets').
:- ensure_loaded('../finite/special').
:- ensure_loaded('../finite/bool').
:- ensure_loaded('../finite/guard').
:- ensure_loaded('../finite/search').
:- ensure_loaded('../finite/sat').
:- ensure_loaded('../misc/bitprop').
:- ensure_loaded('../misc/numtheo').
:- ensure_loaded('../term/delay').
:- ensure_loaded('../term/api').

Comments