A program synthesis tool for generating full PPL programs (specifically BLOG programs) from input datasets.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
benchmarkSuite
data-generation
synthesis
.gitignore
README.md

README.md

PPL-synthesis

To get set up:

Install BLOG. See current BLOG installation directions at: https://bayesianlogic.github.io/pages/download.html

Install mysql server:

sudo apt-get install mysql-server

To start the mysql server console:

mysql -u root -p

Then at the mysql server console:

CREATE DATABASE PPLDATASETS;

CREATE USER 'ppluser' IDENTIFIED BY 'ppluserpasswordhere...';

GRANT ALL ON PPLDATASETS.* TO 'ppluser';

Then back at the command line:

sudo apt-get install libmysqlclient-dev

pip install MySQL-python