joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-04-30 02:07:44 +02:00
Code Issues Releases Activity

better output

Browse source
This commit is contained in:
Joshua Moerman 2024-05-22 11:29:07 +02:00
parent 68a800829c
commit 45bbc2df85
1 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
other/decompose_fsm.py
View file

@ -87,6 +87,8 @@ with open(args.filename) as file:
if args.verbose: if args.verbose:
print(machine) print(machine)
print(f'Initial size: {len(machine.states)}')
################################### ###################################
# Utility function # Utility function
@ -223,6 +225,7 @@ with Solver(bootstrap_with=cnf) as solver:
print('- actual solve') print('- actual solve')
sat = solver.solve() sat = solver.solve()
print('===============')
if not sat: if not sat:
print('unsat :-(') print('unsat :-(')
exit() exit()
@ -259,7 +262,7 @@ with Solver(bootstrap_with=cnf) as solver:
print(f'- representative state {s}') print(f'- representative state {s}')
# count moet gelijk zijn aan cost (of kleiner) # count moet gelijk zijn aan cost (of kleiner)
print(f'total size = {count}') print(f'Reduced size = {count}')
projections = {} projections = {}
for rid in rids: for rid in rids: