load_path := "/mnt/Repository/formal_lp/ineqs/tests" :: "/mnt/Repository/formal_lp/hypermap" :: !load_path;;

needs "nobranching_lp.hl";;

needs "all_tests.hl";;