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.