Skip to content

Commit

Permalink
atlas: SAT based package solver, WIP (#22027)
Browse files Browse the repository at this point in the history 
* atlas: SAT based package solver, WIP

* progress

* make tests green

* progress

* SAT: now works; enabled unit tests in versions.nim

* Atlas: SAT: completed
  • Loading branch information
@Araq
Araq committed Jun 9, 2023
1 parent 744a99d commit 65c412e
Show file tree
Hide file tree
Showing 6 changed files with 857 additions and 101 deletions.
Loading

0 comments on commit 65c412e

Please sign in to comment.