matrix2pnml Jan 1, 0001 Repository Other Nicolas Amat Postdoctoral researcher Postdoctal researcher at the IMDEA Software Institute on Presburger arithmetic. Related Separation Logic Formalization Sudoku Solver