rosette-lang is an actively used programming language.

?Years Old 5Users 0Jobs
  • rosette-lang does not currently rank in our top 50% of languages
  • the rosette-lang website
  • I have 4 facts about rosette-lang. what would you like to know? email me and let me know how I can help.

Example code from the web:

#lang rosette

(define (interpret formula)
  (match formula
    [`(∧ ,expr ...) (apply && (map interpret expr))]
    [`(∨ ,expr ...) (apply || (map interpret expr))]
    [`(¬ ,expr)     (! (interpret expr))]
    [lit            (constant lit boolean?)]))

; This implements a SAT solver.
(define (SAT formula)
  (solve (assert (interpret formula))))

(SAT `(∧ r o (∨ s e (¬ t)) t (¬ e)))

Last updated November 6th, 2019