SRC += src/proof/live/liveness.c \ src/proof/live/liveness_sim.c \ src/proof/live/ltl_parser.c \ src/proof/live/kliveness.c \ src/proof/live/monotone.c \ src/proof/live/disjunctiveMonotone.c \ src/proof/live/arenaViolation.c \ src/proof/live/kLiveConstraints.c \ src/proof/live/combination.c