Second semester course

Information yet to come. We wish all students a nice year!

Last year

Last year’s course was focused on SAT solvers and theorem proving with Rocq.

• 3 points were attributed to exercises on SAT solvers (writing code to reduce logic problems to formulae sent to a SAT solver for automation)
• 10 points were attributed to a Rocq project which involved proving the correctness of a SAT solver
• 7 points were attributed to a SAT project which involved implementing various optimisations to a SAT solver

There is a high chance that this year’s iteration will be no different!