diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2023-06-09 16:15:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-09 16:15:43 +0200 |
| commit | 65c412e3f01bc00f5c6f318edfbfe561ab1bf438 (patch) | |
| tree | f728956dda93c26e9cd9c34527b72dc94ce61b28 /readme.md | |
| parent | 744a99d75c258b317aaad74c6a80bb664993305e (diff) | |
| download | Nim-65c412e3f01bc00f5c6f318edfbfe561ab1bf438.tar.gz | |
atlas: SAT based package solver, WIP (#22027)
* atlas: SAT based package solver, WIP * progress * make tests green * progress * SAT: now works; enabled unit tests in versions.nim * Atlas: SAT: completed
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions