search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Import some ready-made SIMD-aware data structures #15

Open michaelcadilhac opened 1 year ago

michaelcadilhac commented 1 year ago

This includes https://github.com/VcDevel/simd-kd-tree.