5 Commits

Author	SHA1	Message	Date
Anthony Scemama	f448c37461	Overlap of multiple states	2017-11-30 18:01:27 +01:00
Anthony Scemama	873112cb84	Fixed overlap in Ocaml	2017-09-14 19:35:38 +02:00
Anthony Scemama	7c8f56bd06	Fixed qp_overlap_of_wf.ml	2017-09-14 18:39:40 +02:00
Anthony Scemama	669e5cbd6f	Put fast davidson in mrcc	2016-09-27 10:10:39 +02:00
Anthony Scemama	8ca37e49cf	Added tool to compute the overlap between wf	2016-09-22 23:15:21 +02:00