Questions tagged [rosette]

Rosette adds a collection of solver-aided facilities to Racket. These facilities enable programmers to conveniently access a constraint solver that can answer interesting questions about program behaviors.

rosette
Filter by
Sorted by
Tagged with
0 votes
1 answer
64 views

OR/AND operation on lists in Racket

I want to understand what and and or represent in Racket when used with lists. When I do something like this - > (or `(1 2) `(1 3)) '(1 2) What is the result representing? I thought when we use or ...
Saikumar's user avatar
0 votes
1 answer
97 views

unable to run Rosette Language in Dr. Racket

I followed the directions on the Rosette website to download rosette (https://docs.racket-lang.org/rosette-guide/ch_getting-started.html). It seems that I can run this program and get an output error ...
MathStudent's user avatar
1 vote
2 answers
142 views

Understanding `define-symbolic`

I'm reading the Rosette Essentials. The guide explains the use of define-symbolic: The define-symbolic form binds the variable to the same (unique) [symbolic] constant every time it is evaluated. (...
chansey's user avatar
  • 1,379
3 votes
0 answers
92 views

How to synthesize programs with multiple types in Rosette?

I am looking to write a DSL in Rosette with the goal of synthesizing a function. The DSL is based off a very small subset of Haskell, and is strongly typed. I therefore want to make sure that ...
lightning's user avatar
  • 409
1 vote
0 answers
112 views

I have a problem with filter stopword operator in rapidminer

I am working on a sentiment analysis project in Persian language and I use rapidminer to this purpose.. I installed the rosette extension for some text preproccesing purpose in this language such as ...
atefe's user avatar
  • 11
7 votes
1 answer
256 views

When should I use Rosette's shallow vs. deep embedding for program synthesis?

Some tutorials for Rosette introduce program synthesis using shallow embedding and others using deep embedding. After reading Torlak et Bodik's "Growing Solver-Aided Languages with ROSETTE", it ...
Mike Chung's user avatar
2 votes
1 answer
73 views

What are the ways to identify unlifted Racket constructs while using the full Rosette language?

One of the most common bugs I make while implementing a program synthesizer with Rosette is using unlifted Racket constructs in an unsafe way that makes synthesizer to output (unsat). In fact, as a ...
Mike Chung's user avatar