CINXE.COM

<!doctype html><html lang="en"><head><title>dev-ada/AdaSAT – Gentoo Packages</title><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="theme-color" content="#54487a"><meta name="description" content="Gentoo Packages Database"><script src="/assets/application.js"></script><link rel="icon" href="https://packages.gentoo.org/favicon.ico" type="image/x-icon"><link rel="stylesheet" href="/assets/stylesheets.css"></head><body><header><div class="site-title"><div class="container"><div class="row justify-content-between"><div class="logo"><a href="/" title="Back to the homepage" class="site-logo"><img src="https://assets.gentoo.org/tyrian/site-logo.png" alt="Gentoo" srcset="https://assets.gentoo.org/tyrian/site-logo.svg"></a> <span class="site-label">Packages</span></div><div class="site-title-buttons"><div class="btn-group btn-group-sm"><a href="https://get.gentoo.org/" role="button" class="btn get-gentoo"><span class="fa fa-fw fa-download"></span> <strong>Get Gentoo!</strong></a><div class="btn-group btn-group-sm"><a class="btn gentoo-org-sites dropdown-toggle" data-toggle="dropdown" data-target="#" href="#"><span class="fa fa-fw fa-map-o"></span> <span class="d-none d-sm-inline">gentoo.org sites</span> <span class="caret"></span></a><div class="dropdown-menu dropdown-menu-right"><a class="dropdown-item" href="https://www.gentoo.org/" title="Main Gentoo website"><span class="fa fa-home fa-fw"></span> gentoo.org</a> <a class="dropdown-item" href="https://wiki.gentoo.org/" title="Find and contribute documentation"><span class="fa fa-file-text-o fa-fw"></span> Wiki</a> <a class="dropdown-item" href="https://bugs.gentoo.org/" title="Report issues and find common issues"><span class="fa fa-bug fa-fw"></span> Bugs</a> <a class="dropdown-item" href="https://forums.gentoo.org/" title="Discuss with the community"><span class="fa fa-comments-o fa-fw"></span> Forums</a> <a class="dropdown-item" href="https://packages.gentoo.org/" title="Find software for your Gentoo"><span class="fa fa-hdd-o fa-fw"></span> Packages</a><div class="dropdown-divider"></div><a class="dropdown-item" href="https://planet.gentoo.org/" title="Find out what's going on in the developer community"><span class="fa fa-rss fa-fw"></span> Planet</a> <a class="dropdown-item" href="https://archives.gentoo.org/" title="Read up on past discussions"><span class="fa fa-archive fa-fw"></span> Archives</a> <a class="dropdown-item" href="https://sources.gentoo.org/" title="Browse our source code"><span class="fa fa-code fa-fw"></span> Sources</a><div class="dropdown-divider"></div><a class="dropdown-item" href="https://infra-status.gentoo.org/" title="Get updates on the services provided by Gentoo"><span class="fa fa-server fa-fw"></span> Infra Status</a></div></div></div></div></div></div></div><nav class="tyrian-navbar navbar navbar-dark navbar-expand-lg bg-primary" role="navigation"><div class="container"><div class="navbar-header"><button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbar-main-collapse" aria-controls="navbar-main-collapse" aria-expanded="false" aria-label="Toggle navigation"><span class="navbar-toggler-icon"></span></button></div><div class="collapse navbar-collapse navbar-main-collapse" id="navbar-main-collapse"><ul class="navbar-nav mr-auto"><li class="nav-item"><a class="nav-link" href="/">Home</a></li><li class="nav-item active"><a class="nav-link" href="/categories">Packages</a></li><li class="nav-item"><a class="nav-link" href="/maintainers">Maintainers</a></li><li class="nav-item"><a class="nav-link" href="/useflags">USE flags</a></li><li class="nav-item"><a class="nav-link" href="/arches">Architectures</a></li><li class="nav-item"><a class="nav-link" href="/about">About</a></li></ul><form class="form-inline inlinesearch" role="search" action="/packages/search" method="get"><div class="input-group"><div class="input-group-prepend"><span class="input-group-text" id="basic-addon1"><i class="fa fa-search" aria-hidden="true"></i></span></div><input class="form-control" name="q" type="text" placeholder="Find Packages" aria-label="Find Packages"></div></form></div></div></nav></header><div class="kk-header-container"><div class="container"><div class="row"><div class="col-12"><div class="row mt-3"><div class="col-md-5"><h1 class="stick-top kk-package-title" id="package-title" data-atom="dev-ada/AdaSAT" data-category="dev-ada" data-name="AdaSAT"><small class="kk-package-cat"><a href="/categories/dev-ada" class="text-dark">dev-ada</a>/</small><div><svg height="32" class="octicon octicon-package right left kk-package-icon" aria-label="Package icon" viewBox="0 0 16 16" version="1.1" width="32" role="img"><path fill-rule="evenodd" d="M1 4.27v7.47c0 .45.3.84.75.97l6.5 1.73c.16.05.34.05.5 0l6.5-1.73c.45-.13.75-.52.75-.97V4.27c0-.45-.3-.84-.75-.97l-6.5-1.74a1.4 1.4 0 0 0-.5 0L1.75 3.3c-.45.13-.75.52-.75.97zm7 9.09l-6-1.59V5l6 1.61v6.75zM2 4l2.5-.67L11 5.06l-2.5.67L2 4zm13 7.77l-6 1.59V6.61l2-.55V8.5l2-.53V5.53L15 5v6.77zm-2-7.24L6.5 2.8l2-.53L15 4l-2 .53z"></path></svg><div class="kk-package-name">AdaSAT</div></div></h1></div><div class="col-md-7"><p class="lead kk-package-maindesc">Implementation of a DPLL-based SAT solver in Ada</p><p class="kk-package-homepage"><a href="https://github.com/AdaCore/AdaSAT">https://github.com/AdaCore/AdaSAT</a></p></div><div class="col-md-12 pt-4 mt-1"><nav class="nav kk-package-nav"><a class="nav-link active" href="/packages/dev-ada/AdaSAT"><i class="fa fa-info mr-1" aria-hidden="true"></i> Overview </a><a class="nav-link" href="/packages/dev-ada/AdaSAT/dependencies"><i class="fa fa-link" aria-hidden="true"></i> Dependencies </a><a class="nav-link" href="/packages/dev-ada/AdaSAT/qa-report"><i class="fa fa-fw fa-chain-broken" aria-hidden="true"></i> QA report </a><a class="nav-link" href="/packages/dev-ada/AdaSAT/pull-requests"><i class="octicon octicon-git-pull-request opticon-resource-icon ml-1" aria-hidden="true"></i> Pull requests <span class="ml-1 badge badge-pill kk-misc-badge">0</span></a><a class="nav-link" href="/packages/dev-ada/AdaSAT/bugs"><i class="fa fa-bug" aria-hidden="true"></i> Bugs <span class="ml-1 badge badge-pill kk-misc-badge">0</span></a><a class="nav-link" href="/packages/dev-ada/AdaSAT/security"><i class="fa fa-shield" aria-hidden="true"></i> Security <span class="ml-1 badge badge-pill kk-misc-badge">0</span></a><a class="nav-link" href="/packages/dev-ada/AdaSAT/changelog"><i class="fa fa-fw fa-history" aria-hidden="true"></i> Changelog </a></nav></div></div></div></div></div></div><div class="tab-content" id="myTabContent"><div class="container mb-5 tab-pane fade show active" id="overview" role="tabpanel" aria-labelledby="overview-tab"><div class="row"><div class="col-md-9"><h3 class="mb-2">Available Versions</h3><div class="card mb-4 rounded"><svg style="display: none" version="1.1"><defs><symbol id="svg-ver-mask" viewBox="0 0 14 16"><path fill-rule="evenodd" d="M13 1H1c-.55 0-1 .45-1 1v12c0 .55.45 1 1 1h12c.55 0 1-.45 1-1V2c0-.55-.45-1-1-1zm0 13H1V2h12v12zm-8.5-2H3v-1.5L9.5 4H11v1.5L4.5 12z"></path></symbol> <symbol id="svg-ver-testing" viewBox="0 0 14 16"><path fill-rule="evenodd" d="M13 1H1c-.55 0-1 .45-1 1v12c0 .55.45 1 1 1h12c.55 0 1-.45 1-1V2c0-.55-.45-1-1-1zm0 13H1V2h12v12zM4 8c0-1.66 1.34-3 3-3s3 1.34 3 3-1.34 3-3 3-3-1.34-3-3z"></path></symbol> <symbol id="svg-ver-unavailable" viewBox="0 0 14 16"><path fill-rule="evenodd" d="M13 1H1c-.55 0-1 .45-1 1v12c0 .55.45 1 1 1h12c.55 0 1-.45 1-1V2c0-.55-.45-1-1-1zm0 13H1V2h12v12zm-2-5H3V7h8v2z"></path></symbol> <symbol id="svg-ver-stable" viewBox="0 0 14 16"><path fill-rule="evenodd" d="M13 1H1c-.55 0-1 .45-1 1v12c0 .55.45 1 1 1h12c.55 0 1-.45 1-1V2c0-.55-.45-1-1-1zm0 13H1V2h12v12zM6 9H3V7h3V4h2v3h3v2H8v3H6V9z"></path></symbol></defs></svg><div class="table-responsive border-0"><table class="table table-bordered kk-versions-table mb-0 overflow-hidden border-0"><thead class="border-0"><tr class="border-0"><th class="kk-version border-left-0 border-top-0">Version</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">amd64</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">x86</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">alpha</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">arm</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">arm64</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">hppa</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">mips</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">ppc</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">ppc64</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">riscv</th><th class="kk-keyword-header kk-keyword border-left-0 border-top-0">sparc</th></tr></thead> <tbody><tr><td class="kk-version"><strong><a class="kk-ebuild-link" href="https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild">25.0.0</a></strong> <span class="kk-slot" title="SLOT="0""> : 0</span> <span class="badge badge-light kk-eapi-label">EAPI 8</span></td><td class="kk-keyword kk-keyword-testing" title="25.0.0 is testing on amd64"><svg height="16" class="octicon octicon-diff-modified" version="1.1" width="14" aria-hidden="true"><use href="#svg-ver-testing" xlink:href="#svg-ver-testing"></use></svg> <span class="sr-only">~amd64</span></td><td class="kk-keyword kk-keyword-testing" title="25.0.0 is testing on x86"><svg height="16" class="octicon octicon-diff-modified" version="1.1" width="14" aria-hidden="true"><use href="#svg-ver-testing" xlink:href="#svg-ver-testing"></use></svg> <span class="sr-only">~x86</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on alpha"><span class="sr-only">?alpha</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on arm"><span class="sr-only">?arm</span></td><td class="kk-keyword kk-keyword-testing" title="25.0.0 is testing on arm64"><svg height="16" class="octicon octicon-diff-modified" version="1.1" width="14" aria-hidden="true"><use href="#svg-ver-testing" xlink:href="#svg-ver-testing"></use></svg> <span class="sr-only">~arm64</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on hppa"><span class="sr-only">?hppa</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on mips"><span class="sr-only">?mips</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on ppc"><span class="sr-only">?ppc</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on ppc64"><span class="sr-only">?ppc64</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on riscv"><span class="sr-only">?riscv</span></td><td class="kk-keyword kk-keyword-unkown" title="25.0.0 is unknown on sparc"><span class="sr-only">?sparc</span></td></tr><tr><td class="kk-version"><strong><a class="kk-ebuild-link" href="https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild">24.0.0-r2</a></strong> <span class="kk-slot" title="SLOT="0""> : 0</span> <span class="badge badge-light kk-eapi-label">EAPI 8</span></td><td class="kk-keyword kk-keyword-stable" title="24.0.0-r2 is stable on amd64"><svg height="16" class="octicon octicon-diff-added" version="1.1" width="14" aria-hidden="true"><use href="#svg-ver-stable" xlink:href="#svg-ver-stable"></use></svg> <span class="sr-only">amd64</span></td><td class="kk-keyword kk-keyword-stable" title="24.0.0-r2 is stable on x86"><svg height="16" class="octicon octicon-diff-added" version="1.1" width="14" aria-hidden="true"><use href="#svg-ver-stable" xlink:href="#svg-ver-stable"></use></svg> <span class="sr-only">x86</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on alpha"><span class="sr-only">?alpha</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on arm"><span class="sr-only">?arm</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on arm64"><span class="sr-only">?arm64</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on hppa"><span class="sr-only">?hppa</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on mips"><span class="sr-only">?mips</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on ppc"><span class="sr-only">?ppc</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on ppc64"><span class="sr-only">?ppc64</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on riscv"><span class="sr-only">?riscv</span></td><td class="kk-keyword kk-keyword-unkown" title="24.0.0-r2 is unknown on sparc"><span class="sr-only">?sparc</span></td></tr></tbody></table></div></div><h3 class="pt-3 mb-2">Package Metadata</h3><div class="card border-0 mb-3"><ul class="list-group kk-metadata-list"><li class="kk-metadata-item list-group-item"><div class="row"><div class="col-xs-12 col-md-3 kk-metadata-key"><span class="fa fa-fw fa-code-fork"></span> Upstream</div><div class="col-xs-12 col-md-9"><table><tr><td><span class="kk-useflag-group float-right mr-2">Remote-Id</span></td><td><a href="https://github.com/AdaCore/AdaSAT">https://github.com/AdaCore/AdaSAT</a></td></tr></table></div></div></li><li class="kk-metadata-item list-group-item"><div class="row"><div class="col-xs-12 col-md-3 kk-metadata-key"><span class="fa fa-fw fa-info"></span>Full description</div><div class="col-xs-12 col-md-9"> Implementation of a DPLL-based SAT solver in Ada. Main features: Conflict analysis and backjumping Two-watched literals scheme Built-in support for At-Most-One constraints Custom theories </div></div></li><li class="kk-metadata-item list-group-item"><div class="row"><div class="col-xs-12 col-md-3 kk-metadata-key"><span class="fa fa-fw fa-sliders"></span> USE flags</div><div class="col-xs-12 col-md-9"><span class="kk-useflag-group">Local Use Flags</span><ul class="kk-useflag-container kk-useflag-container-few"><li class="kk-useflag"><a title="Build shared library" data-toggle="tooltip" href="/useflags/shared">+shared</a></li><li class="kk-useflag"><a title="Build static library with pic code" data-toggle="tooltip" href="/useflags/static-pic">static-pic</a></li></ul><span class="kk-useflag-group">Global Use Flags</span><ul class="kk-useflag-container kk-useflag-container-few"><li class="kk-useflag"><a title="Build static versions of dynamic libraries as well" data-toggle="tooltip" href="/useflags/static-libs">static-libs</a></li><li class="kk-useflag"><a title="Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)" data-toggle="tooltip" href="/useflags/test">test</a></li></ul><span class="kk-useflag-group">ada_target (Use Expand)</span><ul class="kk-useflag-container kk-useflag-container-few"><li class="kk-useflag"><a title="Compile with sys-devel/gcc:12" data-toggle="tooltip" href="/useflags/ada_target_gcc_12">gcc_12</a></li><li class="kk-useflag"><a title="Compile with sys-devel/gcc:13" data-toggle="tooltip" href="/useflags/ada_target_gcc_13">gcc_13</a></li><li class="kk-useflag"><a title="Compile with sys-devel/gcc:14" data-toggle="tooltip" href="/useflags/ada_target_gcc_14">gcc_14</a></li><li class="kk-useflag"><a title="Compile with sys-devel/gcc:15" data-toggle="tooltip" href="/useflags/ada_target_gcc_15">gcc_15</a></li><li class="kk-useflag"><a title="Compile with dev-lang/gnat-gpl-2021" data-toggle="tooltip" href="/useflags/ada_target_gnat_2021">gnat_2021</a></li></ul></div></div></li><li class="kk-metadata-item list-group-item"><div class="row"><div class="col-xs-12 col-md-3 kk-metadata-key"><span class="fa fa-fw fa-legal"></span> License</div><div class="col-xs-12 col-md-9">Apache-2.0</div></div></li><li class="kk-metadata-item list-group-item"><div class="row"><div class="col-xs-12 col-md-3 kk-metadata-key"><span class="fa fa-fw fa-user"></span> Maintainer(s)</div><div class="col-xs-12 col-md-9"> <a title="ada@gentoo.org" href="/maintainer/ada@gentoo.org">ada@gentoo.org</a> <a href="mailto:ada@gentoo.org"><i class="fa fa-envelope-o" style="font-size: .925em;" aria-hidden="true"></i></a></div></div></li></ul></div></div><div class="col-md-3 pl-4 pt-4 mt-2"><h4 class="mb-2 ml-1"><a class="collapseLink" style="color:#000000;" data-toggle="collapse" href="#collapseExternalResources" role="button" aria-expanded="false" aria-controls="collapseExternalResources">External Resources</a></h4><div class="collapse show" id="collapseExternalResources"><dl class="ml-3"><dd><span class="fa fa-fw fa-bug"></span> <a href="https://bugs.gentoo.org/buglist.cgi?quicksearch=dev-ada/AdaSAT" class="" target="_blank">Related bugs</a></dd><dd><span class="fa fa-fw fa-chain-broken"></span> <a href="https://qa-reports.gentoo.org/output/gentoo-ci/output.html;pkg=dev-ada:AdaSAT" title="CI report" target="_blank">CI Report</a> (<a href="https://qa-reports.gentoo.org/output/gentoo-ci/output.verbose.html;pkg=dev-ada:AdaSAT" title="Verbose CI report" target="_blank">verbose</a>)</dd><dd><span class="fa fa-fw fa-sort-numeric-desc"></span> <a href="https://repology.org/tools/project-by?repo=gentoo&name_type=srcname&target_page=project_versions&name=dev-ada/AdaSAT" target="_blank">Repology</a></dd><dd><span class="octicon octicon-git-pull-request opticon-resource-icon ml-1"></span> <a href="https://github.com/gentoo/gentoo/pulls?q=is%3Apr+is%3Aopen+in%3Atitle+dev-ada/AdaSAT" target="_blank">Open Pull Requests</a></dd><dd><span class="fa fa-fw fa-book"></span> <a href="https://wiki.gentoo.org/wiki/Special:Search/AdaSAT" target="_blank">Documentation</a></dd><dd><span class="fa fa-fw fa-comments-o"></span> <a href="https://forums.gentoo.org/search.php?search_terms=all&show_results=topics&search_keywords=AdaSAT&mode=results" target="_blank">Forums posts</a></dd><dd><span class="fa fa-fw fa-code-fork"></span> <a href="https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-ada/AdaSAT" target="_blank">Git repository browser</a></dd><dd><span class="fa fa-fw fa-history"></span> <a href="https://gitweb.gentoo.org/repo/gentoo.git/log/dev-ada/AdaSAT?showmsg=1" title="Git log" target="_blank">Git log</a> (<a href="https://gitweb.gentoo.org/repo/gentoo.git/log/dev-ada/AdaSAT" title="Short git log" target="_blank">short</a>)</dd><dd><span class="fa fa-fw fa-rss"></span> <a href="https://gitweb.gentoo.org/repo/gentoo.git/atom/dev-ada/AdaSAT?h=master" target="_blank">Changes Feed</a></dd></dl></div></div></div></div></div><footer style="background-color: #fafafa; box-shadow:none!important;"><div class="container pt-4" style="border-top: 1px solid #dddddd;"><div class="row"><div class="col-2 col-sm-2 col-md-2"><ul class="footerlinks three-icons"><li><a href="https://twitter.com/gentoo" title="@Gentoo on Twitter"><span class="fa fa-twitter fa-fw"></span></a></li><li><a href="https://www.facebook.com/gentoo.org" title="Gentoo on Facebook"><span class="fa fa-facebook fa-fw"></span></a></li><li><a href="https://www.reddit.com/r/Gentoo/" title="Gentoo on Reddit"><span class="fa fa-reddit-alien fa-fw"></span></a></li></ul></div><div class="col-8 col-sm-8 col-md-8"><strong>© 2001–2024 Gentoo Authors</strong><br><small>Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the <a href="https://creativecommons.org/licenses/by-sa/4.0/" rel="license">CC-BY-SA-4.0</a> license. The <a href="https://www.gentoo.org/inside-gentoo/foundation/name-logo-guidelines.html">Gentoo Name and Logo Usage Guidelines</a> apply.</small></div><div class="col-2 col-sm-2 col-md-2 text-right"><strong><a class="text-dark" href="https://www.gentoo.org/inside-gentoo/contact/">Contact</a></strong><br><small>v1.0.3</small></div></div></div></footer></body></html>