Add boolector backend
Add STP backend