12 commits

Author	SHA1	Message	Date
Joshua Moerman	2b6a011551	Adds hFlush for IO	2019-01-17 15:01:40 +01:00
Joshua Moerman	2ee2f091cb	Adding another alphabet for learning	2019-01-16 15:32:32 +01:00
Joshua Moerman	d5a1cea46b	More on handling counterexamples	2019-01-11 16:40:38 +01:00
Joshua Moerman	6b89d2dc5f	Counterexample handling	2019-01-10 15:55:43 +01:00
Joshua Moerman	01319327af	Not much	2019-01-09 15:54:47 +01:00
Joshua Moerman	b414b64c1a	Construction of Hypothesis	2019-01-09 12:08:07 +01:00
Joshua Moerman	11f57c8339	Simplified a bit	2019-01-09 10:44:14 +01:00
Joshua Moerman	2da916f017	Adds the main L* loop, no hypotheses yet	2019-01-08 17:13:42 +01:00
Joshua Moerman	c177d59548	Clean up and Stub for LStar	2019-01-03 17:22:50 +01:00
Joshua Moerman	bde739d3df	Makes the FO-solver more lazy to improve performance	2018-04-11 10:56:41 +02:00
Joshua Moerman	5793653f6b	Implemented a FO-theory solver for the dense linear order	2018-04-09 19:23:27 +02:00
Joshua Moerman	9d41629a3b	Initial commit	2017-10-25 11:59:12 +02:00