8 commits

Author	SHA1	Message	Date
Joshua Moerman	91d4c6d539	Removed gauge and added tasty and some tests (working towards mealy machines)	2024-10-18 16:07:21 +02:00
Joshua Moerman	7b41e7d97c	Faster version of the nominal NL* algorithm by specialising the observation table to Booleans	2021-02-25 14:35:40 +01:00
Joshua Moerman	9a75d5f296	Made a decent automated benchmark	2020-11-19 13:04:12 +01:00
Joshua Moerman	78bb8ef823	added a benchmark	2020-11-11 16:46:18 +01:00
Joshua Moerman	0b046ca73f	Wrote a simpler data structure for the observation table. However, it is slower	2020-11-10 15:11:26 +01:00
Joshua Moerman	8a66ccaec5	Rewrote nominal NL* for better performance, by specialising for Booleans	2020-08-14 20:13:01 +02:00
Joshua Moerman	a3e6d0581c	simpler benchmarks	2020-05-28 09:21:42 +02:00
Joshua Moerman	16b0f6ed79	Cleaned up the cabal file and moved some bits around	2020-05-27 18:37:53 +02:00