{"library":"boolector","install":[{"cmd":"apt install boolector","imports":[]}]}