4 Commits

Author	SHA1	Message	Date
Markus Triska	8e1ba58551	use new predicates from library(error)	2020-04-27 18:44:59 +02:00
Markus Triska	7a2981e21c	include usage advice about probabilistic predicates	2020-04-27 18:44:59 +02:00
notoria	d61851ad02	Added predicate random_integer and updated clpb	2020-04-27 01:52:19 +02:00
notoria	de7a408903	Created the library random and moved some predicates from iso_ext	2020-04-26 23:37:22 +02:00