Program_analysis

Analyzing curl with IKOS, KLEE and CBMC

Sudoku

Representing extended sudoku rules with sets