{"id":28615592,"url":"https://github.com/ocamlpro/alt-ergo","last_synced_at":"2026-04-07T04:31:21.816Z","repository":{"id":13919454,"uuid":"16618767","full_name":"OCamlPro/alt-ergo","owner":"OCamlPro","description":"OCamlPro public development repository for Alt-Ergo ","archived":false,"fork":false,"pushed_at":"2026-04-01T15:03:03.000Z","size":30148,"stargazers_count":141,"open_issues_count":125,"forks_count":35,"subscribers_count":14,"default_branch":"next","last_synced_at":"2026-04-01T16:32:59.304Z","etag":null,"topics":["satisfiability-modulo-theories"],"latest_commit_sha":null,"homepage":"https://alt-ergo.ocamlpro.com/","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/OCamlPro.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2014-02-07T15:35:38.000Z","updated_at":"2026-04-01T14:58:29.000Z","dependencies_parsed_at":"2023-01-13T21:00:10.180Z","dependency_job_id":"90231e48-fabd-4cb0-93ce-b2608f9be038","html_url":"https://github.com/OCamlPro/alt-ergo","commit_stats":null,"previous_names":[],"tags_count":26,"template":false,"template_full_name":null,"purl":"pkg:github/OCamlPro/alt-ergo","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Falt-ergo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Falt-ergo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Falt-ergo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Falt-ergo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/OCamlPro","download_url":"https://codeload.github.com/OCamlPro/alt-ergo/tar.gz/refs/heads/next","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/OCamlPro%2Falt-ergo/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31500397,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-07T03:10:19.677Z","status":"ssl_error","status_checked_at":"2026-04-07T03:10:13.982Z","response_time":105,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["satisfiability-modulo-theories"],"created_at":"2025-06-12T02:09:28.716Z","updated_at":"2026-04-07T04:31:21.788Z","avatar_url":"https://github.com/OCamlPro.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Alt-Ergo\n\n[Alt-Ergo] is an open-source automatic solver of mathematical formulas designed for program verification. It is based on [Satisfiability Modulo Theories] (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing. It was developed at [LRI], and is now improved and maintained at [OCamlPro], and friendly collaboration is maintained with the [Why3] development team.\n\nYou can [try Alt-Ergo] online.\nAlso see the [Alt-Ergo Users' Club].\n\n## Build status\nnext | main\n------------ | -------------\n![Build Status (next)](https://github.com/OCamlPro/alt-ergo/actions/workflows/build.yml/badge.svg?branch=next) | ![Build Status (main)](https://github.com/OCamlPro/alt-ergo/actions/workflows/build.yml/badge.svg?branch=main)\n\n## Website\n\nAlt-Ergo's website: [https://alt-ergo.ocamlpro.com].\n\n## Documentation\n\nSee our [general documentation], the [API documentation] and the [developers documentation].\n\n## Download\n\nWe provide sources tarball of the [latest] release of Alt-Ergo. You can also find it on the GitHub's [releases' page].\n\nAlt-Ergo is available in the OCaml package manager [opam] with this command:\n```\nopam install alt-ergo\n```\n## Copyright\n\nSee the section [LICENSE].\n\n## Build\n\nSee [installation instructions] section.\n\n## Contributing\n\nPlease refer to our [contributing guidelines].\n\n## Support\n\nSee [Alt-Ergo @ OCamlPro] or contact us at [alt-ergo@ocamlpro.com] for more details.\n\n[Alt-Ergo]: https://alt-ergo.ocamlpro.com\n[alt-ergo@ocamlpro.com]: mailto:alt-ergo@ocamlpro.com\n[Alt-Ergo @ OCamlPro]: https://alt-ergo.ocamlpro.com/#services\n[Alt-Ergo Users' Club]: https://alt-ergo.ocamlpro.com/#club\n[API documentation]: https://ocamlpro.github.io/alt-ergo/latest/API/index.html\n[contributing guidelines]: https://ocamlpro.github.io/alt-ergo/latest/Dev/contributing.html\n[developers documentation]: https://ocamlpro.github.io/alt-ergo/latest/Dev/index.html\n[general documentation]: https://ocamlpro.github.io/alt-ergo/\n[installation instructions]: https://ocamlpro.github.io/alt-ergo/latest/Install/index.html\n[https://alt-ergo.ocamlpro.com]: https://alt-ergo.ocamlpro.com\n[latest]: https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz\n[LRI]: https://www.lri.fr\n[OCamlPro]: https://www.ocamlpro.com\n[opam]: https://opam.ocaml.org\n[LICENSE]: https://github.com/OCamlPro/alt-ergo/?tab=License-1-ov-file\n[releases' page]: https://github.com/OCamlPro/alt-ergo/releases/\n[Satisfiability Modulo Theories]: https://en.wikipedia.org/wiki/Satisfiability_modulo_theories\n[try Alt-Ergo]: https://alt-ergo.ocamlpro.com/try.html\n[Why3]: http://why3.lri.fr/\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Focamlpro%2Falt-ergo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Focamlpro%2Falt-ergo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Focamlpro%2Falt-ergo/lists"}