{"library":"tarski","install":[{"cmd":"pip install tarski","imports":["from tarski import tarski_model as tarski","from tarski.io import parse_problem"]},{"cmd":"pip install tarski[dev]","imports":[]}]}