ash-project/ash
1
0
Fork 0
mirror of https://github.com/ash-project/ash.git synced 2024-09-20 13:33:20 +12:00
Code Issues Projects Releases Packages Wiki Activity
4509 commits 93 branches 718 tags 30 MiB
Commit graph

2 commits

Author SHA1 Message Date
Zach Daniel
381870ac3e improvement: don't install sat solver in initial installation 
improvement: ask user to install sat solver when extending with policies
improvement: validate that a solver exists at compile time when using policies
 2024-07-24 16:08:39 -04:00
Zach Daniel
a7b69303ca chore: properly manage sat solver dependencies 2024-04-05 15:11:09 -04:00