@cyrilverloop/codingame-configuration 1.14.0 → 1.16.0

package/config/hard/HitTheRoad/config.json

@@ -0,0 +1,43 @@
+{
+    "path": "hard/HitTheRoad",
+    "name": "Hit the road",
+    "alphanumName": "HitTheRoad",
+    "link": "https://www.codingame.com/ide/puzzle/hit-the-road",
+    "tests": [
+        {
+            "name": "Example 1",
+            "alphanumName": "Example1",
+            "file": "01 - Example 1.txt"
+        },
+        {
+            "name": "Example 2",
+            "alphanumName": "Example2",
+            "file": "02 - Example 2.txt"
+        },
+        {
+            "name": "Half turn",
+            "alphanumName": "HalfTurn",
+            "file": "03 - Half turn.txt"
+        },
+        {
+            "name": "No time windows everywhere",
+            "alphanumName": "NoTimeWindowsEverywhere",
+            "file": "04 - No time windows everywhere.txt"
+        },
+        {
+            "name": "Unreachable",
+            "alphanumName": "Unreachable",
+            "file": "05 - Unreachable.txt"
+        },
+        {
+            "name": "Example 3",
+            "alphanumName": "Example3",
+            "file": "06 - Example 3.txt"
+        },
+        {
+            "name": "Example 4",
+            "alphanumName": "Example4",
+            "file": "07 - Example 4.txt"
+        }
+    ]
+}

package/config/hard/HitTheRoad/input/01 - Example 1.txt

@@ -0,0 +1,20 @@
+8 10 8
+0 3
+0 0 0
+1 1 2
+2 3 5
+3 1 7
+4 1 2
+5 1 2
+6 3 5
+7 3 5
+0 1 1
+0 4 1
+1 2 1
+2 3 1
+2 6 1
+4 5 1
+5 1 1
+5 6 1
+6 7 1
+7 3 1

package/config/hard/HitTheRoad/input/02 - Example 2.txt

@@ -0,0 +1,19 @@
+8 9 8
+0 3
+0 0 0
+1 1 2
+2 3 5
+3 1 7
+4 1 2
+5 1 2
+6 3 5
+7 3 5
+0 1 1
+0 4 1
+1 2 1
+2 3 1
+2 6 1
+4 5 1
+5 1 1
+6 7 1
+7 3 1

package/config/hard/HitTheRoad/input/03 - Half turn.txt

@@ -0,0 +1,17 @@
+6 9 6
+0 5
+0 0 0
+1 1 10
+2 6 9
+3 6 11
+4 7 10
+5 10 14
+0 1 1
+0 2 3
+1 2 1
+1 3 5
+2 4 1
+3 1 1
+3 5 3
+4 3 1
+4 5 6

package/config/hard/HitTheRoad/input/04 - No time windows everywhere.txt

@@ -0,0 +1,13 @@
+6 7 4
+0 5
+0 0 9
+2 6 9
+3 3 7
+5 13 16
+0 1 1
+1 2 2
+1 4 2
+2 5 7
+3 0 1
+4 3 2
+5 4 2

package/config/hard/HitTheRoad/input/05 - Unreachable.txt

@@ -0,0 +1,2 @@
+2 0 0
+0 1

package/config/hard/HitTheRoad/input/06 - Example 3.txt

@@ -0,0 +1,28 @@
+6 20 6
+1 2
+1 0 0
+2 8 11
+3 8 16
+4 4 11
+5 4 9
+0 5 13
+1 2 2
+1 3 8
+1 5 5
+2 1 10
+2 3 6
+2 5 3
+2 0 6
+3 1 2
+3 4 3
+3 0 6
+4 3 4
+4 5 6
+4 0 2
+5 2 4
+5 3 5
+5 4 5
+5 0 4
+0 2 2
+0 4 10
+0 5 4

package/config/hard/HitTheRoad/input/07 - Example 4.txt

@@ -0,0 +1,20 @@
+6 15 3
+1 2
+3 6 12
+2 9 9
+0 3 8
+1 3 5
+1 4 1
+1 5 8
+2 3 2
+2 5 4
+3 2 1
+3 5 4
+4 2 3
+4 3 5
+4 5 6
+5 1 7
+5 2 4
+5 0 3
+0 2 5
+0 3 5

package/config/hard/HitTheRoad/output/01 - Example 1.txt

@@ -0,0 +1 @@
+true

package/config/hard/HitTheRoad/output/02 - Example 2.txt

@@ -0,0 +1 @@
+false

package/config/hard/HitTheRoad/output/03 - Half turn.txt

@@ -0,0 +1 @@
+true

package/config/hard/HitTheRoad/output/04 - No time windows everywhere.txt

@@ -0,0 +1 @@
+true

package/config/hard/HitTheRoad/output/05 - Unreachable.txt

@@ -0,0 +1 @@
+false

package/config/hard/HitTheRoad/output/06 - Example 3.txt

@@ -0,0 +1 @@
+true

package/config/hard/HitTheRoad/output/07 - Example 4.txt

@@ -0,0 +1 @@
+false

package/config/hard/HornSATSolver/code/CGCode.cpp

@@ -0,0 +1,24 @@
+#include <iostream>
+#include <string>
+#include <vector>
+#include <algorithm>
+
+using namespace std;
+
+int main()
+{
+    string unsed_p;
+    string unsed_cnf;
+    int v;
+    int c;
+    cin >> unsed_p >> unsed_cnf >> v >> c; cin.ignore();
+    for (int i = 0; i < c; i++) {
+        string clause;
+        getline(cin, clause);
+    }
+
+    // Write an answer using cout. DON'T FORGET THE "<< endl"
+    // To debug: cerr << "Debug messages..." << endl;
+
+    cout << "s UNSATISFIABLE" << endl;
+}

package/config/hard/HornSATSolver/code/CGCode.java

@@ -0,0 +1,25 @@
+import java.util.*;
+import java.io.*;
+import java.math.*;
+
+class Solution {
+
+    public static void main(String args[]) {
+        Scanner in = new Scanner(System.in);
+        String unsedP = in.next();
+        String unsedCnf = in.next();
+        int V = in.nextInt();
+        int C = in.nextInt();
+        if (in.hasNextLine()) {
+            in.nextLine();
+        }
+        for (int i = 0; i < C; i++) {
+            String clause = in.nextLine();
+        }
+
+        // Write an answer using System.out.println()
+        // To debug: System.err.println("Debug messages...");
+
+        System.out.println("s UNSATISFIABLE");
+    }
+}

package/config/hard/HornSATSolver/code/CGCode.js

@@ -0,0 +1,13 @@
+var inputs = readline().split(' ');
+const unsedP = inputs[0];
+const unsedCnf = inputs[1];
+const V = parseInt(inputs[2]);
+const C = parseInt(inputs[3]);
+for (let i = 0; i < C; i++) {
+    const clause = readline();
+}
+
+// Write an answer using console.log()
+// To debug: console.error('Debug messages...');
+
+console.log('s UNSATISFIABLE');

package/config/hard/HornSATSolver/code/CGCode.php

@@ -0,0 +1,11 @@
+<?php
+fscanf(STDIN, "%s %s %d %d", $unsedP, $unsedCnf, $V, $C);
+for ($i = 0; $i < $C; $i++)
+{
+    $clause = stream_get_line(STDIN, 256 + 1, "\n");
+}
+
+// Write an answer using echo(). DON'T FORGET THE TRAILING \n
+// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
+
+echo("s UNSATISFIABLE\n");

package/config/hard/HornSATSolver/code/CGCode.ts

@@ -0,0 +1,13 @@
+var inputs: string[] = readline().split(' ');
+const unsedP: string = inputs[0];
+const unsedCnf: string = inputs[1];
+const V: number = parseInt(inputs[2]);
+const C: number = parseInt(inputs[3]);
+for (let i = 0; i < C; i++) {
+    const clause: string = readline();
+}
+
+// Write an answer using console.log()
+// To debug: console.error('Debug messages...');
+
+console.log('s UNSATISFIABLE');

package/config/hard/HornSATSolver/config.json

@@ -0,0 +1,53 @@
+{
+    "path": "hard/HornSATSolver",
+    "name": "Horn-SAT solver",
+    "alphanumName": "HornSATSolver",
+    "link": "https://www.codingame.com/ide/puzzle/horn-sat-solver",
+    "tests": [
+        {
+            "name": "short sat",
+            "alphanumName": "shortSat",
+            "file": "01 - short sat.txt"
+        },
+        {
+            "name": "short unsat",
+            "alphanumName": "shortUnsat",
+            "file": "02 - short unsat.txt"
+        },
+        {
+            "name": "empty clause",
+            "alphanumName": "emptyClause",
+            "file": "03 - empty clause.txt"
+        },
+        {
+            "name": "medium sat",
+            "alphanumName": "mediumSat",
+            "file": "04 - medium sat.txt"
+        },
+        {
+            "name": "medium unsat",
+            "alphanumName": "mediumUnsat",
+            "file": "05 - medium unsat.txt"
+        },
+        {
+            "name": "huge sat",
+            "alphanumName": "hugeSat",
+            "file": "06 - huge sat.txt"
+        },
+        {
+            "name": "huge unsat",
+            "alphanumName": "hugeUnsat",
+            "file": "07 - huge unsat.txt"
+        },
+        {
+            "name": "only one non-unit clause",
+            "alphanumName": "onlyOneNonUnitClause",
+            "file": "08 - only one non-unit clause.txt"
+        },
+        {
+            "name": "negative literals only",
+            "alphanumName": "negativeLiteralsOnly",
+            "file": "09 - negative literals only.txt"
+        }
+    ]
+}

package/config/hard/HornSATSolver/input/01 - short sat.txt

@@ -0,0 +1,9 @@
+p cnf 5 8
+-1 -2 -3 -4 -5 0
+-1 -2 -3 -4 0
+3 0
+-3 -5 0
+-1 -3 -4 0
+-2 -3 -4 5 0
+-3 4 0
+-1 -2 -3 -5 0

package/config/hard/HornSATSolver/input/02 - short unsat.txt

@@ -0,0 +1,8 @@
+p cnf 5 7
+-2 -4 0
+-1 3 -4 -5 0
+-1 -3 -4 -5 0
+-1 -2 -3 -4 -5 0
+4 0
+2 0
+-1 -2 -5 0

package/config/hard/HornSATSolver/input/03 - empty clause.txt

@@ -0,0 +1,10 @@
+p cnf 5 9
+-1 -2 -3 -4 -5 0
+-2 -3 -4 0
+-1 -2 -3 -5 0
+-4 -5 0
+0
+-1 -2 -3 4 -5 0
+-1 -2 -4 -5 0
+-1 -2 3 -4 -5 0
+5 0

package/config/hard/HornSATSolver/input/04 - medium sat.txt

@@ -0,0 +1,91 @@
+p cnf 46 90
+-13 -46 0
+-7 -11 -12 -28 -46 0
+-1 -12 -25 -31 -36 -39 0
+25 0
+9 -10 -29 0
+-7 22 -33 -40 0
+-9 -29 0
+-2 -45 0
+-9 -22 -23 0
+-3 -7 -15 0
+-13 0
+3 0
+-6 -14 -15 -24 36 0
+-20 -32 -37 -46 0
+-3 -7 -10 -17 -22 0
+-4 -30 0
+-10 -19 -20 -24 -30 -36 -45 0
+-9 -14 -15 -31 -32 -41 -45 0
+-7 9 -16 -32 -42 0
+-3 -9 -21 -34 -39 -42 0
+-20 -33 -34 -46 0
+-11 -29 0
+-4 -8 -19 -29 39 -40 -46 0
+-3 -7 -18 -44 0
+-2 -21 -27 -40 -44 -45 0
+-9 0
+-29 -34 -40 -42 -44 0
+-18 0
+-1 -3 -23 -34 -41 -42 0
+-20 -23 0
+-1 -12 -14 -18 -25 -34 -45 0
+-5 -36 -42 0
+28 0
+-6 -41 -42 0
+-10 -36 0
+-2 -18 -35 0
+-18 -29 -33 39 0
+-18 -23 -32 0
+-15 -20 0
+32 0
+6 0
+-4 -18 -26 -35 -38 -43 0
+-18 -19 -28 -32 -43 0
+-4 -16 -17 -18 -25 -30 -46 0
+-12 -28 0
+-20 -40 0
+-14 -28 0
+-8 -12 -16 -22 -25 -38 -44 0
+-2 -5 -6 8 -20 -30 -35 0
+-4 -6 -24 -27 0
+-6 -9 -22 -32 -44 0
+-7 -43 0
+-7 -13 -20 -23 -39 0
+-30 -32 0
+-12 -36 0
+-30 -33 -38 0
+-11 -19 -23 -29 -41 0
+-7 17 0
+-10 -12 -13 -36 -44 0
+-14 -31 0
+-3 -9 -11 -21 -23 -30 -42 0
+33 0
+-5 -9 0
+-2 -6 -25 -37 0
+-24 -26 -39 0
+-3 -12 -32 -41 -45 0
+14 -42 0
+11 0
+-27 -39 -42 0
+-31 -40 -45 0
+38 0
+-2 -6 -12 -16 -27 -37 -39 0
+-2 -13 -22 -45 0
+-3 -42 -45 0
+-21 -28 -45 0
+-7 -20 -27 -46 0
+-15 -31 0
+-20 -22 -28 -29 -32 0
+-2 -12 -37 0
+-1 -11 -21 -26 -41 -44 -45 0
+-17 -24 0
+-2 -8 -9 -15 -34 -39 0
+-4 -28 0
+-3 -14 -18 -24 -34 -42 -44 0
+-9 -10 -45 0
+41 0
+-1 -25 0
+5 0
+-10 -22 -27 0
+-5 -10 -11 -13 -26 0

package/config/hard/HornSATSolver/input/05 - medium unsat.txt

@@ -0,0 +1,92 @@
+p cnf 54 91
+6 -7 -24 -30 -37 -48 0
+25 -33 -36 0
+-21 26 -37 -41 -51 0
+50 0
+-10 -13 -15 -18 -25 -38 -50 0
+-7 -22 -25 -29 -32 -49 -53 0
+-11 -15 -18 -45 0
+19 0
+-5 -21 -32 -35 -37 -50 0
+-3 -44 -47 -52 0
+17 0
+-10 -45 0
+-10 0
+-9 -11 -15 -24 -51 0
+-1 -7 -16 -23 -39 -40 -47 0
+-4 0
+-12 -19 -20 -21 -27 33 -54 0
+-7 -13 -39 -50 -51 -52 0
+-38 0
+-11 -16 -18 -25 -31 -37 -40 0
+-2 -16 -23 -25 -47 48 0
+13 -23 -24 -26 -31 0
+-18 -22 -34 -49 -52 0
+-14 -18 -19 38 -42 0
+24 0
+45 0
+-1 -17 -21 -34 -45 0
+34 0
+-2 -5 -25 -26 27 -49 0
+-11 -14 -43 -52 0
+-3 -11 -27 -29 -31 -41 0
+-4 -12 -31 -39 0
+-4 -7 -11 -18 -26 -32 -49 0
+-2 -7 -23 -32 -36 0
+18 0
+-11 -20 -28 -34 -35 -45 -47 0
+-9 -18 -30 -43 -49 0
+-38 -44 0
+-24 -48 0
+-8 -14 -25 -26 -36 -40 0
+-8 -31 36 0
+14 -33 0
+-14 -19 0
+-53 0
+-4 -17 -22 -28 -30 0
+-17 -30 -31 35 -39 -52 -54 0
+-13 -24 52 0
+-18 -39 -53 0
+-2 -15 -24 -35 -47 -54 0
+44 0
+-12 -17 -19 -32 -45 -48 -54 0
+-35 -45 0
+-39 -40 0
+16 0
+15 0
+-9 -11 -14 -32 -36 -39 -49 0
+-14 37 0
+21 0
+28 0
+-17 -50 0
+-14 -21 0
+-30 -41 -48 0
+-3 -8 -23 -37 -38 -45 0
+-5 -11 -12 -19 -28 -39 0
+-14 46 0
+-7 -8 -46 -48 -50 -52 -54 0
+-6 -11 -37 -38 -50 -53 0
+-3 -6 -13 -20 -33 -40 -51 0
+-2 -17 -49 -50 0
+-19 -49 0
+-4 -16 -18 22 -38 -41 0
+-49 0
+-4 -9 42 -53 0
+-22 -27 -29 -47 -48 53 0
+-1 -16 -30 -34 40 0
+-5 -12 -24 -38 39 -48 0
+-37 -41 -45 -50 0
+-14 -22 -24 -43 0
+-9 -10 -23 0
+-3 -10 -11 -16 -29 0
+-35 -48 0
+29 -32 -35 -36 -38 0
+-3 -42 0
+-1 -25 -29 -51 -54 0
+-16 -36 -37 -52 0
+-2 -18 -36 -48 -54 0
+-3 -26 -36 -51 0
+-2 -9 -41 -51 0
+-3 -8 -36 0
+-30 -42 -50 -51 0
+-18 -31 -33 -42 -49 0