[submodule "vendor/cadical"] path = vendor/cadical url = https://github.com/arminbiere/cadical.git [submodule "vendor/ipasir"] path = vendor/ipasir url = https://github.com/biotomas/ipasir.git