def setUp(self):
from edacc import models, config
config.DEFAULT_DATABASES = [("edacc", "edaccteam", TEST_DATABASE, TEST_DATABASE, True)]
from edacc.web import app
self.app = app.test_client()
self.db = db = models.add_database("edacc", "edaccteam", TEST_DATABASE, TEST_DATABASE)
clean_database(db)
fixtures.setup_ranking_fixture(db)
def setUp(self):
from edacc import models, config
config.DEFAULT_DATABASES = [("edacc", "edaccteam", TEST_DATABASE,
TEST_DATABASE, True)]
from edacc.web import app
self.app = app.test_client()
self.db = db = models.add_database("edacc", "edaccteam", TEST_DATABASE,
TEST_DATABASE)
clean_database(db)
fixtures.setup_ranking_fixture(db)
def databases_add():
""" Display a form to add databases to the web frontend """
error = None
if request.method == 'POST':
label = request.form['label']
database = request.form['database']
username = request.form['username']
password = request.form['password']
hidden = request.form.has_key('hidden')
if models.get_database(database):
error = "A database with this name already exists"
else:
try:
models.add_database(username, password, database, label, hidden)
return redirect(url_for('frontend.index'))
except Exception as e:
error = "Can't add database: " + str(e)
return render('/admin/databases_add.html', error=error)
def databases_add():
""" Display a form to add databases to the web frontend """
error = None
if request.method == 'POST':
label = request.form['label']
database = request.form['database']
username = request.form['username']
password = request.form['password']
hidden = request.form.has_key('hidden')
if models.get_database(database):
error = "A database with this name already exists"
else:
try:
models.add_database(username, password, database, label,
hidden)
return redirect(url_for('frontend.index'))
except Exception as e:
error = "Can't add database: " + str(e)
return render('/admin/databases_add.html', error=error)
import sys, tempfile, subprocess, os
sys.path.append("..")
from sqlalchemy.orm import joinedload_all
from edacc import models, config, constants
db = models.add_database(*config.DEFAULT_DATABASES[0])
TMP_DIR = '/tmp'
SATZILLA_FEATURE_SCRIPT = "featuresSAT12"
#instance_class = db.session.query(db.InstanceClass).options(joinedload_all('instances.properties')).filter_by(name=INSTANCE_CLASS).first()
property_by_name = dict()
for instance in db.session.query(db.Instance).options(joinedload_all('properties')):
instance_path = os.path.join(TMP_DIR, instance.md5)
with open(instance_path, 'wb') as instance_file:
instance_file.write(instance.get_instance(db))
features = subprocess.Popen([SATZILLA_FEATURE_SCRIPT, "-base", instance_path], stdout=subprocess.PIPE)
feature_names = features.stdout.readline().strip().split(",")
feature_values = features.stdout.readline().strip().split(",")
features.wait()
os.remove(instance_path)
if not feature_names or not feature_values or len(feature_names) == 1:
print "Couldn't compute features of instance " + instance.name
continue
for name, value in zip(feature_names, feature_values):
if name not in property_by_name:
property_by_name[name] = db.session.query(db.Property).filter_by(name=name).first()
if not property_by_name[name]:
raise Exception("Property " + repr(name) + " not found")
if config.LOGGING:
# set up logging if configured
import logging
from logging.handlers import RotatingFileHandler
file_handler = RotatingFileHandler(config.LOG_FILE)
file_handler.setLevel(logging.WARNING)
formatter = logging.Formatter("---------------------------\n" + \
"%(asctime)s - %(name)s - " + \
"%(levelname)s\n%(message)s")
file_handler.setFormatter(formatter)
app.logger.addHandler(file_handler)
# initialize configured database connections
for username, password, database, label, hidden in config.DEFAULT_DATABASES:
models.add_database(username, password, database, label, hidden)
class LimitedRequest(Request):
""" extending Flask's request class to limit form uploads to 500 MB """
max_form_memory_size = 500 * 1024 * 1024
app.request_class = LimitedRequest
app.config.update(
SECRET_KEY=config.SECRET_KEY,
PERMANENT_SESSION_LIFETIME=datetime.timedelta(days=14),
CACHE_TYPE='filesystem',
CACHE_DIR=config.TEMP_DIR,
MAIL_SERVER=config.MAIL_SERVER,
MAIL_PORT=config.MAIL_PORT,
def setUp(self):
from edacc import models
self.db = db = models.add_database("edacc", "edaccteam", TEST_DATABASE,
TEST_DATABASE)
clean_database(db)
fixtures.setup_ranking_fixture(db)
def setUp(self):
from edacc import models
self.db = models.add_database("edacc", "edaccteam", TEST_DATABASE,
TEST_DATABASE)
def setUp(self):
from edacc import models
self.db = models.add_database("edacc", "edaccteam", TEST_DATABASE, TEST_DATABASE)
if config.LOGGING:
# set up logging if configured
import logging
from logging.handlers import RotatingFileHandler
file_handler = RotatingFileHandler(config.LOG_FILE)
file_handler.setLevel(logging.WARNING)
formatter = logging.Formatter("---------------------------\n" + \
"%(asctime)s - %(name)s - " + \
"%(levelname)s\n%(message)s")
file_handler.setFormatter(formatter)
app.logger.addHandler(file_handler)
# initialize configured database connections
for username, password, database, label, hidden in config.DEFAULT_DATABASES:
models.add_database(username, password, database, label, hidden)
class LimitedRequest(Request):
""" extending Flask's request class to limit form uploads to 500 MB """
max_form_memory_size = 500 * 1024 * 1024
app.request_class = LimitedRequest
app.config.update(SECRET_KEY=config.SECRET_KEY,
PERMANENT_SESSION_LIFETIME=datetime.timedelta(days=14),
CACHE_TYPE='filesystem',
CACHE_DIR=config.TEMP_DIR,
MAIL_SERVER=config.MAIL_SERVER,
MAIL_PORT=config.MAIL_PORT,
MAIL_USE_TLS=config.MAIL_USE_TLS,
""" Parse solver info from the SAT Competition 09 website.
To be used after the import script.
"""
import sys, urllib2
sys.path.append("..")
from BeautifulSoup import BeautifulSoup
from edacc import models, config
config.DATABASE_HOST = "localhost"
models.add_database("edacc", "passw", "EDACC5", "EDACC5")
db = models.get_database("EDACC5")
html_url = raw_input('Enter solverlist url (e.g. http://www.cril.univ-artois.fr/SAT09/results/solverlist.php?idev=22): ')
p = urllib2.urlopen(html_url)
soup = BeautifulSoup(p.read())
for solver_tab in soup.findAll('table'):
if not solver_tab.find('td', text='Event'): continue
version = solver_tab.find('td', attrs={"class": "fieldname"}, text='Version').findNext('td').string.strip()
name = solver_tab.find('td', attrs={"class": "fieldname"}, text='Name').findNext('td').string.strip()
authors = solver_tab.find('td', attrs={"class": "fieldname"}, text='Authors').findNext('td').string.strip()
description = solver_tab.find('td', attrs={"class": "fieldname"}, text='Comments').findNext('td').contents
description = map(lambda e: '\n' if str(e) == '<br />' else e, description)
solver = db.session.query(db.Solver).filter_by(name=name,version=version).first()
if solver:
solver.authors = authors
db.session.commit()
else:
print "Didn't find", name, version, " in the DB, skipping"
# -*- coding: utf-8 -*-
"""
SAT Competition 2011 results import script
"""
import os, sys, datetime
sys.path.append("..") # append parent directory to python path to be able to import edacc when running from ./scripts
from edacc import models, config
config.DATABASE_HOST = "localhost"
models.add_database("user", "pw", "db", "label")
db = models.get_database("db")
# mapping the "checked answer" column to EDACC's status/resultCode codes
ANSWER_MAP = {
'UNKNOWN': (1, 0),
'UNKNOWN EXCODE': (1, 0),
'UNKNOWN TO': (21, -21),
'UNKNOWN MO': (23, -23),
'UNKNOWN (?)': (1, 0),
'SIGNAL': (21, -309),
'SAT': (1, 11),
'UNSAT': (1, 10),
'ERR WRONGCERT': (1, 0),
'ERR NOCERT': (1, 0),
'ERR UNSAT': (1, 0),
}
def parse_phase_txt(filepath, phase):
experiments = {'RANDOM': db.Experiment(), 'CRAFTED': db.Experiment(), 'APPLICATION': db.Experiment(), 'MUS': db.Experiment()}
for exp in experiments.keys():
experiments[exp].name = 'phase' + str(phase) + ' ' + exp
# -*- coding: utf-8 -*-
"""
SAT Competition 2011 results import script
"""
import os, sys, datetime
sys.path.append(
".."
) # append parent directory to python path to be able to import edacc when running from ./scripts
from edacc import models, config
config.DATABASE_HOST = "localhost"
models.add_database("user", "pw", "db", "label")
db = models.get_database("db")
# mapping the "checked answer" column to EDACC's status/resultCode codes
ANSWER_MAP = {
'UNKNOWN': (1, 0),
'UNKNOWN EXCODE': (1, 0),
'UNKNOWN TO': (21, -21),
'UNKNOWN MO': (23, -23),
'UNKNOWN (?)': (1, 0),
'SIGNAL': (21, -309),
'SAT': (1, 11),
'UNSAT': (1, 10),
'ERR WRONGCERT': (1, 0),
'ERR NOCERT': (1, 0),
'ERR UNSAT': (1, 0),
}
def parse_phase_txt(filepath, phase):
def setUp(self):
from edacc import models
self.db = db = models.add_database("edacc", "edaccteam", TEST_DATABASE, TEST_DATABASE)
clean_database(db)
fixtures.setup_ranking_fixture(db)
""" Parse solver info from the SAT Competition 09 website.
To be used after the import script.
"""
import sys, urllib2
sys.path.append("..")
from BeautifulSoup import BeautifulSoup
from edacc import models, config
config.DATABASE_HOST = "localhost"
models.add_database("edacc", "passw", "EDACC5", "EDACC5")
db = models.get_database("EDACC5")
html_url = raw_input(
'Enter solverlist url (e.g. http://www.cril.univ-artois.fr/SAT09/results/solverlist.php?idev=22): '
)
p = urllib2.urlopen(html_url)
soup = BeautifulSoup(p.read())
for solver_tab in soup.findAll('table'):
if not solver_tab.find('td', text='Event'): continue
version = solver_tab.find('td',
attrs={
"class": "fieldname"
},
text='Version').findNext('td').string.strip()
name = solver_tab.find('td', attrs={
"class": "fieldname"
}, text='Name').findNext('td').string.strip()
authors = solver_tab.find('td',
attrs={
"class": "fieldname"
import sys, tempfile, subprocess, os
sys.path.append("..")
from sqlalchemy.orm import joinedload_all
from edacc import models, config, constants
db = models.add_database(*config.DEFAULT_DATABASES[0])
TMP_DIR = '/tmp'
SATZILLA_FEATURE_SCRIPT = "featuresSAT12"
#instance_class = db.session.query(db.InstanceClass).options(joinedload_all('instances.properties')).filter_by(name=INSTANCE_CLASS).first()
property_by_name = dict()
for instance in db.session.query(db.Instance).options(
joinedload_all('properties')):
instance_path = os.path.join(TMP_DIR, instance.md5)
with open(instance_path, 'wb') as instance_file:
instance_file.write(instance.get_instance(db))
features = subprocess.Popen(
[SATZILLA_FEATURE_SCRIPT, "-base", instance_path],
stdout=subprocess.PIPE)
feature_names = features.stdout.readline().strip().split(",")
feature_values = features.stdout.readline().strip().split(",")
features.wait()
os.remove(instance_path)
if not feature_names or not feature_values or len(feature_names) == 1:
print "Couldn't compute features of instance " + instance.name
continue
for name, value in zip(feature_names, feature_values):
if name not in property_by_name:
property_by_name[name] = db.session.query(
import sys, tempfile, subprocess, os
sys.path.append("..")
from edacc import models, config, constants
from satchallenge_config import *
db = models.add_database(DB_USER, DB_PASSWORD, DB_NAME, DB_NAME)
SAT_verifier = "./SAT"
TEMP_DIR = '/tmp/satchallenge'
try:
os.makedirs(TEMP_DIR)
except: pass
UNSAT = 10
SAT = 11
limits_by_experiment = {
21: (900, -1, 6144),
18: (900, -1, 6144),
19: (900, -1, 6144),
20: (-1, 900, 12288),
24: (900, -1, 6144),
25: (900, -1, 6144)
}
# check sequential experiments
for experiment_id in [19, 21, 18, 20, 24]:
experiment = db.session.query(db.Experiment).get(experiment_id)