4 Commits

Author	SHA1	Message	Date
Artur Meski	f0019619b3	Refactor + tests (#6) ... - Minor codebase clean-up - Slight reorganisation of examples + tests so that we don't break stuff by accident - CI tests	2026-04-10 18:16:49 +01:00
Artur Meski	a1fb5836a5	black formatting	2023-07-11 19:48:37 +01:00
Artur Meski	390eda7e48	Entity concentration validation (against its max)	2019-04-28 12:22:01 +01:00
Artur Meski	5eb8e3b63d	Moved files to 'reactics-smt'	2019-03-03 22:26:00 +00:00