Remove the useless App class.
Matlab2SMT is moving towards being a real library. Thus delete the useless App class that makes it look like a library. Its only useful function can be done manually anyways.
Loading
Please register or sign in to comment