log

age author description
Wed, 12 Jun 2019 15:09:45 +0200 Jonatan Werpers Sketch implementation of sat methods for Neumann and Dirichlet boundary_conditions