%:- module(logicmoo_rsasak,[test_logicmoo_rsasak/0]). % [Required] Load the Logicmoo Library Utils :- include(sanity_tests). :- ensure_loaded(library(logicmoo_rsasak)). test(test_logicmoo_rsasak_sanity):- test_logicmoo_rsasak_sanity. test(test_logicmoo_rsasak):- test_logicmoo_rsasak.