Skip to main content

Browse the archive

Revision 3c6c72ba14b8206934765619808387769deec5d3 authored by Anish Tondwalkar on 16 February 2019, 22:14:42 UTC, committed by Anish Tondwalkar on 16 February 2019, 22:14:42 UTC 
Add command line for --eliminate=existentials
 
(only works with the Horn format)
1 parent fdc9f6a
Raw File
.ghci 
:set -isrc
back to top