4 commits

Author	SHA1	Message	Date
Joshua Moerman	ec8a4f0689	Added simultaneous bfs algorithm, not yet tested on a bigger model	2025-05-07 15:12:12 +02:00
Joshua Moerman	8e3d2d6dbb	Addded state cover to hsi method	2025-04-29 11:02:53 +02:00
Joshua Moerman	dbecd98e18	Added proper commandline parsing, and moved the input-decompose into main	2025-04-15 17:02:32 +02:00
Joshua Moerman	1316334ccc	Restructured the project	2025-04-14 20:38:53 +02:00