PasteRack.org
Paste # 48396
2018-08-08 23:58:39

Fork as a new paste.

Paste viewed 390 times.


Embed:

Print.rkt

#lang rosette

(define-symbolic x y integer?)

(define sol
     (begin
       (eq? 44 (+ x y))
       (eq? x (* 3 y))))
               
                  
 > (solve sol)
(model)

=>

standard-module-name-resolver: collection not found
  for module path: (submod rosette reader)
  collection: "rosette"
  in collection directories:
   /home/pasterack/.racket/6.8/collects
   /home/pasterack/racket68/collects
   ... [161 additional linked and package directories]
  context...:
   show-collection-err
   standard-module-name-resolver
   /home/pasterack/racket68/share/pkgs/scribble-lib/scribble/private/manual-code.rkt:112:0: get-tokens
   /home/pasterack/racket68/share/pkgs/scribble-lib/scribble/private/manual-code.rkt:56:0: typeset-code15
   /home/pasterack/pasterack/tmp/48396/48396code.scrbl: [running body]
   loop
   ...cket/cmdline.rkt:179:51
   /home/pasterack/racket68/share/pkgs/scribble-lib/scribble/run.rkt: [running body]