3 Commits

Author	SHA1	Message	Date
Robin Jadoul	a4dbf3d195	Compress the tables in c++ backend, fixes #2	2016-05-26 17:13:20 +02:00
Robin Jadoul	3024de07bf	Main runner	2016-05-26 16:05:15 +02:00
Robin Jadoul	83018bb1f1	Implementation of table filling for minimalisation	2016-04-30 16:13:59 +02:00