The idea is to make cbat easier to use. A minimal (but still kind of beefy. 80mb compressed. 300mb uncompressed) docker build is now up and this python is a wrapper ~to download and~ run it.
Todo:
Fill out and forward more command line options
Eventually upload this to pip for pip install cbat
Property construction helpers / connection to Highvars. C type interpretations. Signature importing. Suggest using angr.
Countermodel exploration, visualization, and interpretation to highvars. Perhaps run in angr symbolic executor
Port tutorial to jupyter notebook hostable on Google colab links
The idea is to make cbat easier to use. A minimal (but still kind of beefy. 80mb compressed. 300mb uncompressed) docker build is now up and this python is a wrapper ~to download and~ run it.
Todo:
pip install cbat