Constant SOLUTION
Source pub const SOLUTION: &str = "CREATE TABLE IF NOT EXISTS solution (\n id INTEGER PRIMARY KEY,\n solution_set_id INTEGER NOT NULL,\n solution_index INTEGER NOT NULL,\n contract_addr BLOB NOT NULL,\n predicate_addr BLOB NOT NULL,\n FOREIGN KEY (solution_set_id) REFERENCES solution_set (id)\n UNIQUE (solution_set_id, solution_index)\n);\n";
Expand description
CREATE TABLE IF NOT EXISTS solution (
id INTEGER PRIMARY KEY,
solution_set_id INTEGER NOT NULL,
solution_index INTEGER NOT NULL,
contract_addr BLOB NOT NULL,
predicate_addr BLOB NOT NULL,
FOREIGN KEY (solution_set_id) REFERENCES solution_set (id)
UNIQUE (solution_set_id, solution_index)
);