2 Commits

Author	SHA1	Message	Date
duboissim	d2cebdef6d	added . to predicate declarations	2024-03-01 14:07:09 +01:00
duboissim	721d974931	create solution file	2024-03-01 14:03:54 +01:00