{"size": 634, "ext": "scrbl", "max_stars_repo_path": "rosette/guide/scribble/libs/libraries.scrbl", "max_stars_repo_name": "remysucre/rosette", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "rosette/guide/scribble/libs/libraries.scrbl", "max_issues_repo_name": "remysucre/rosette", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "rosette/guide/scribble/libs/libraries.scrbl", "max_forks_repo_name": "remysucre/rosette", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 42.2666666667, "max_line_length": 385, "alphanum_fraction": 0.7712933754}
#lang scribble/manual

@(require (for-label racket))

@title[#:tag "ch:libraries" #:style 'toc]{Libraries}

Chapters @seclink["ch:getting-started"]{1}-@seclink["ch:programmer-defined-datatypes"]{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 @racket[rosette/safe], as well as Rosette libraries that provide additional facilities for solver-aided development.

@[table-of-contents]


@include-section["racket-libs.scrbl"]
@include-section["rosette-libs.scrbl"]
@include-section["utility-libs.scrbl"]
