import site; site.addsitedir('@@HOMEBREW_PREFIX@@/opt/cryptominisat/lib/python3.14/site-packages')
import site; site.addsitedir('@@HOMEBREW_PREFIX@@/opt/llvm@16/lib/python3.14/site-packages')
import site; site.addsitedir('@@HOMEBREW_PREFIX@@/opt/stp/lib/python3.14/site-packages')
import site; site.addsitedir('@@HOMEBREW_PREFIX@@/opt/cryptominisat/lib/python3.14/site-packages')
import site; site.addsitedir('@@HOMEBREW_PREFIX@@/opt/z3/lib/python3.14/site-packages')
