Covid-19 Regulations Checker

With the unfortunate Covid-19 situation, lockdown and social distancing is our best bet to contain the spread. With multiple governments (central and state) issuing orders which enumerate which services are barred and which ones are allowed, two questions arise: (1) how do we know the orders do not conflict with each other? (2) how can I query the orders to find which services are allowed and which aren't. This project attempts to address these, by using SMT solvers.