From a620f07468780778bd55dcffc30245def37ece69 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 6 Aug 2020 16:07:16 +0200 Subject: MoDeS3 unit propagation WIP --- .../output/solution1.png | Bin 0 -> 105065 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png') diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png new file mode 100644 index 00000000..b6fa6e4e Binary files /dev/null and b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png differ -- cgit v1.2.3-70-g09d2