{"size": 318, "ext": "scrbl", "max_stars_repo_path": "scribblings/forged-ocelot.scrbl", "max_stars_repo_name": "cemcutting/forged-ocelot", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "scribblings/forged-ocelot.scrbl", "max_issues_repo_name": "cemcutting/forged-ocelot", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "scribblings/forged-ocelot.scrbl", "max_forks_repo_name": "cemcutting/forged-ocelot", "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": 35.3333333333, "max_line_length": 72, "alphanum_fraction": 0.6352201258}
#lang scribble/manual

@require[racket/runtime-path racket/require racket/sandbox scribble/eval
         "log.rkt"
         @for-label[forged-ocelot
                   (only-in rosette term? solve)
                   (only-in rosette/base/core/safe assert)]]

@hyperlink["https://docs.racket-lang.org/ocelot/"]{Ocelot}