Join 10350+ others. No spamming.
I promise!

Follow us at github.



cdglabs/wallingford

27

cdglabs / wallingford

Racket

An experimental DSL for handling state and updates, along with constraints, in Rosette.


READ ME

Wallingford

Wallingford is an experimental constraint reactive programming language written in Rosette. It includes facilities for handling persistent constraints, hard and soft constraints, and reactive constraints.

Directories:

  • core -- the core system
  • applications -- various applications built on core
  • reactive -- additional classes for adding reactive constraints to the core and applications
  • tests -- these use RackUnit

Notes on installing Wallingford on Macintosh

Download Racket if need be. Set up a symlink in /Applications from the current version of Racket to Racket. Add /Applications/Racket/bin to the path in .profile

Follows the directions in the Rosette Guide for installing Rosette: https://emina.github.io/rosette/rosette-guide/ch_getting-started.html

Download Wallingford using "git clone https://github.com/cdglabs/wallingford.git"

The hand-compiled version of the quadrilateral demo in reactive/compiled-quadrilateral.rkt uses the Rhea implementation of the Cassowary constraint solver. To use this, check out the Racket bindings for Rhea from https://github.com/cdglabs/rhea.git, do a make, and then add a symlink from the wallingford directory to the Rhea directory. The symlink should be named just 'rhea' (this is already in .gitignore).