6 Commits

Author	SHA1	Message	Date
Mikhail Bogdanov	fda17b10b3	commented a line	2014-08-05 18:00:02 +02:00
Mikhail Bogdanov	d9b75e296a	periodic stuff	2014-08-05 18:00:01 +02:00
Mikhail Bogdanov	27a81e581d	modified and moved the predicate Is_hyperbolic to the traits	2014-08-05 18:00:00 +02:00
Mikhail Bogdanov	db52f5b64f	commmit changes done in the base directory of the package	2014-08-05 18:00:00 +02:00
Mikhail Bogdanov	256abb5e55	implemented some predicates evaluations described in the corresponding paper.	2014-08-05 17:59:59 +02:00
Mikhail Bogdanov	35a23aa8e2	move our experimental package with its history to its new branch	2014-08-05 17:59:59 +02:00