https://github.com/domoritz/vis-constraints

Vega-Lite and Compassql as constraints
https://github.com/domoritz/vis-constraints

constraints vega vega-lite z3

Last synced: 14 days ago
JSON representation

Vega-Lite and Compassql as constraints

• Host: GitHub
• URL: https://github.com/domoritz/vis-constraints
• Owner: domoritz
• License: bsd-3-clause
• Created: 2017-01-27T23:30:23.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-07-29T23:36:52.000Z (over 7 years ago)
• Last Synced: 2024-12-16T00:53:12.771Z (18 days ago)
• Topics: constraints, vega, vega-lite, z3
• Language: TypeScript
• Homepage:
• Size: 98.6 KB
• Stars: 1
• Watchers: 5
• Forks: 1
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# vis-constraints

Vega-Lite and CompassQl as constraints.

Install dependencies with `npm install`.

Currently needs [z3 nightlies](https://github.com/Z3Prover/bin/tree/master/nightly) 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`.

```bash

npm run run -- --query 0

```

## Debugging

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