less type constraints
generating fsm
knapsack
faster kp enumeration
summation works
better fsm generator
fixing project file
heuristic graph generator
dev merge