joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-04-29 17:57:44 +02:00
Code Issues Releases Activity
Tools to decompose finite state machines.
37 commits 1 branch 0 tags 540 KiB
Find a file
Joshua Moerman 4c8b8d9f2f Incremental sat solving to find optimal solution (with fixed c)
2024-05-29 16:40:17 +02:00
app Simplified the code a little bit 2024-05-01 10:22:05 +02:00
other Incremental sat solving to find optimal solution (with fixed c) 2024-05-29 16:40:17 +02:00
results meer plaatjes 2023-12-08 20:20:21 +01:00
src Added basic path compression in the union-find data structure 2024-05-17 16:02:17 +02:00
test Initial test of general decomposition 2023-11-17 16:21:20 +01:00
.gitignore Initial test of general decomposition 2023-11-17 16:21:20 +01:00
LICENSE Initial test of general decomposition 2023-11-17 16:21:20 +01:00
mealy-decompose.cabal Kleine optimalisaties en bisimulatie uitrekenen voor EQOracle 2024-04-30 16:20:32 +02:00