PasteRack.org | ||
Paste # 48396 | ||
2018-08-08 23:58:39 | ||
Fork as a new paste. | ||
Paste viewed 390 times. | ||
Tweet | ||
Embed: | ||
#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]