vis-constraints

Vega-Lite and CompassQl as constraints.

Install dependencies with npm install.

Currently needs z3 nightlies or brew install z3 --HEAD.

Run the complete pipeline

Run the command below and change which query to run. The queries are in queries.ts.

npm run run -- --query 0

Run npm run start to run with debug output. Add optional --query NUMBER to change which query to run.

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
.vscode		.vscode
experiments		experiments
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
cars.json		cars.json
constraints.ts		constraints.ts
helpers.ts		helpers.ts
index.ts		index.ts
package.json		package.json
queries.ts		queries.ts
ranking.ts		ranking.ts
tsconfig.json		tsconfig.json
yarn.lock		yarn.lock