s(CASP) has an optional DCC flag for a resolution strategy that checks constraints earlier and oftener, which for some programs can massively improve performance (90X for Hamiltonian cycle programs). We need to investigate if that should be available in Blawx as an option, and whether it should be turned on by default.
Like the forall flag, it would need to be added to the API, and available in the interface.
s(CASP) has an optional DCC flag for a resolution strategy that checks constraints earlier and oftener, which for some programs can massively improve performance (90X for Hamiltonian cycle programs). We need to investigate if that should be available in Blawx as an option, and whether it should be turned on by default.
Like the forall flag, it would need to be added to the API, and available in the interface.