►The Rosette Guide
▼6 Libraries
7.7
  top  ← prev  up  next → 

6 Libraries

Chapters 1-5 introduce the basic constructs and datatypes for programming in Rosette. This chapter describes the parts of the core Racket libraries (e.g., I/O procedures) that are exported by rosette/safe, as well as Rosette libraries that provide additional facilities for solver-aided development.

    6.1 Exported Racket Libraries

    6.2 Solver-Aided Libraries

      6.2.1 Synthesis Library

      6.2.2 Angelic Execution Library

      6.2.3 Debugging Library

    6.3 Utility Libraries

      6.3.1 Value Browser Library

        6.3.1.1 Layout

        6.3.1.2 Examples

  top  ← prev  up  next → 
 
var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?f1ba5b4a33d29d84db69f029b9ace483"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })();