Skip to content

MiniLogicEva-1.1

Choose a tag to compare

View all tags
@Impelon Impelon released this 17 Oct 21:08
v1.1
16e140b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

A few internal changes and small bug-fixes.
Now adds a CLI-Tool (see the CLI-jar) which does not use java.swing nor a GUI, but uses Runtime Arguments to execute.
Execute the CLI-Tool with
java -jar MiniLogicEvaCLI.jar.
For example:
java -jar MiniLogicEvaCLI.jar --print "(~(r -> q) -> (s <-> ~q)) || ~(r || s)"

Assets 4
Loading