log

age author description
Wed, 07 Dec 2022 21:56:00 +0100 Vidar Stiernström Make use of discretize in sat functions feature/boundary_conditions