• Home
• org.choco-solver
• choco-parsers
• 3.3.2
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ver.choco-parsers.3.3.2.source-code.database_schema.sql Maven / Gradle / Ivy

create table BENCHMARKS (BID MEDIUMINT(11) NOT NULL AUTO_INCREMENT, NAME VARCHAR(32) NOT NULL, DATE DATE NOT NULL, PRIMARY KEY(BID,NAME));

create table PROBLEMS (PID MEDIUMINT(11) NOT NULL  AUTO_INCREMENT,NAME VARCHAR(256) NOT NULL,
RESOLUTION ENUM('SAT','MIN','MAX') NOT NULL, OBJECTIVE BIGINT(20) NULL, OPTIMAL TINYINT(1) NOT NULL,
PRIMARY KEY(PID, NAME));

create table RESOLUTIONS (BID MEDIUMINT(11) NOT NULL, PID MEDIUMINT(11) NOT NULL,
SOLVING_TIME BIGINT(20) NOT NULL, OBJECTIVE BIGINT(20) NULL, NB_SOL BIGINT(20) NOT NULL, NB_NODES BIGINT(20) NOT NULL,
NB_FAILS BIGINT(20) NOT NULL,
FOREIGN KEY (BID) references BENCHMARKS(BID), FOREIGN KEY (PID) references PROBLEMS(PID), PRIMARY KEY (BID, PID));

create table CONSTRAINTS (CID MEDIUMINT(11) NOT NULL AUTO_INCREMENT, NAME VARCHAR(32) NOT NULL, PRIMARY KEY(CID,NAME));


create table MODELS (BID MEDIUMINT(11) NOT NULL, PID MEDIUMINT(11) NOT NULL, CID MEDIUMINT(11) NOT NULL,  NB MEDIUMINT(11),
FOREIGN KEY (BID) references BENCHMARKS(BID), FOREIGN KEY (PID) references PROBLEMS(PID), FOREIGN KEY (CID) references CONSTRAINTS(CID),PRIMARY KEY (BID, PID,CID));