6 commits

Author	SHA1	Message	Date
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	72d6310cae	Moved Support to directory. This way we can choose its representation.	2018-04-09 17:56:52 +02:00
Joshua Moerman	1f0e50898f	Moves Orbit class to separate file. Adds more types of products	2018-02-27 16:55:03 +01:00
Joshua Moerman	8487919a7c	Adds units tests + benchmarking. Abstracted Support to its own modules. Performance improvements	2017-11-01 10:26:51 +01:00
Joshua Moerman	9d41629a3b	Initial commit	2017-10-25 11:59:12 +02:00