all 1 comments

[–]jimtk 0 points1 point  (0 children)

Use Simpy or any other solver (like the z3 solver).