Let the solver work (R&S challenge in hack.tum)

Inspiration

We focus on describing the problem and its constraints, and let the solver does its work and find the solution

What it does

How we built it

Challenges we ran into

Accomplishments that we're proud of

What we learned

What's next for Let the solver work (R&S challenge in hack.tum)

Built With

• boolector
• corpython
• minisat
• sat/smt
• z3