Can we use Pacti contracts for simulation purposes? A simulation of battery charging behavior See test1.ipynb A simulation of battery discharging behavior See test2.ipynb A simulation of a sequence of battery charging followed by battery discharging behaviors See test3.ipynb