Adding programmable call to Kissat in command &kissat. #559
Annotations
1 warning
|
Install brew dependencies
readline 8.2.13 is already installed and up-to-date.
To reinstall 8.2.13, run:
brew reinstall readline
|
Loading