-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Incorrect printing of canonical disjunctive normal forms
bugSomething isn't workingSomething isn't workingStatus: Open.#10 In bubba2k/bool-tool;Implement a prettier function for (converting back to and) printing the concrete syntax of a syntax tree
enhancementNew feature or requestNew feature or requestStatus: Open.#9 In bubba2k/bool-tool;Allow boolean expessions as command line arguments
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#8 In bubba2k/bool-tool;Compute and display minimal CNF and DNF
enhancementNew feature or requestNew feature or requestStatus: Open.#7 In bubba2k/bool-tool;- Status: Open.#5 In bubba2k/bool-tool;
Allow usage of arrow keys to navigate while providing input
enhancementNew feature or requestNew feature or requestStatus: Open.#3 In bubba2k/bool-tool;