5 Commits

Author	SHA1	Message	Date
Anthony Scemama	de1791f9d6	Find_pi_space updated	2018-05-25 14:47:05 +02:00
Anthony Scemama	25f7e47ef1	qp_find_pi_space -apply	2018-05-24 23:50:56 +02:00
Anthony Scemama	35708de944	Upgrade to OCaml 4.06 and Core 0.10	2018-01-22 01:20:06 +01:00
Anthony Scemama	9776667a3a	README	2017-09-20 12:48:37 +02:00
Anthony Scemama	f3501a2eda	Added qp_find_pi_space.ml	2017-09-19 18:59:32 +02:00