library(fd_prop_test_util)

Predicates

make_n_random_seeds(+NSeeds, -Seeds)

Create random seeds for seed/1

make_n_random_variables(+NVars, +Min, +Max, -Vars)

Create random domain variables

random_bound_reduction_test(+Out, +Goal)

Run and keep waking a constraint until ground

random_bound_reduction_test(+Out, +Goal, +Vars)

Run and keep waking a constraint until ground

random_int_between(+Min, +Max, -X)

Create random integer

random_reduce_until_ground(?, ?, ?)

No description available

About

• Author: Joachim Schimpf, Coninfer Ltd
• Copyright © Joachim Schimpf, Coninfer Ltd
• Date: $Date: 2017/09/28 22:40:03 $