Skip to content

Commit

Permalink
the rosette guide
Browse files Browse the repository at this point in the history
  • Loading branch information
@emina
emina committed Oct 26, 2014
1 parent f411d7d commit 06566a7
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,9 @@ solver-aided DSLs.
* Use Racket's `raco` tool to install Rosette as one of your Racket collections:

`$ cd rosette`

`$ raco link rosette`

`$ raco setup -l rosette`

* Rosette ships with the [Kodkod](http://alloy.mit.edu/kodkod/) solver
Expand Down

0 comments on commit 06566a7

Please sign in to comment.