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

2 commits

Author SHA1 Message Date
Zach Daniel
ce5c080492 improvement: don't start processes for single items in list 
chore: add some benchmarks/flame files
 2024-08-15 09:14:43 -04:00
Zach Daniel
665a9fb5c4 improvement: optimize sat solving 
1. only convert to CNF once
2. group predicates that only appear in specific combinations to limit amount of variables provided to the sat solver

Number 2 above does technically slow down all cases a bit, but the optimization is really important when it matters. And cases that don't need this optimization still happen on the order microseconds anyway.
 2022-11-15 01:45:55 -05:00