alt-ergo
alt-ergo copied to clipboard
Support AC modifier in SMT input format
While I was porting the documentation of AE from Sphinx to odoc, I noticed there is no support for the ac
modifier in the SMT-LIB input format.
I create this issue as a remainder.
I am not sure how to implement this properly.