4 ms·Not forgetting Picat! https://www.hakank.org/picat/ https://www.hakank.org/picat/by qu1j0t3 2y agoNot forgetting Picat! https://www.hakank.org/picat/ https://www.hakank.org/picat/