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 06566a7 commit ef14ae9
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,7 @@ 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 ef14ae9

Please sign in to comment.