GitHub - rpi-alpaca/logic: The Automated Reasoner Half of ALPACA Logic Engine.

Logic Engine side of ALPACA

Tree: Parses input statements depending on specific symbols

Syntax Negation ~ Or v And & Conditional > or | XOr @ Blocks for node name are figured using parenthesis (VALUE)

(-) Very finicky syntax

Statementevaluator: Using parsed in information, generates 0 order logic truth table showing all possible results from True/False input values

(-) Limit in how many nodes can be used for truth table

LogicGate: Currently takes in simple node info that can have updated Truth/False input values, with possibly adding and removing of nodes

(-) Bug in state change currently (-) Cannot add logical operators yet

Name		Name	Last commit message	Last commit date
Latest commit History 378 Commits
.github/workflows		.github/workflows
wiki-images/calculus		wiki-images/calculus
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
LogicGate.cpp		LogicGate.cpp
LogicGate.h		LogicGate.h
LogicGroup.txt		LogicGroup.txt
LogicTest.cpp		LogicTest.cpp
README.md		README.md
Tree.cpp		Tree.cpp
Tree.h		Tree.h
docker.sh		docker.sh
emscripten_wrap.cpp		emscripten_wrap.cpp
expressionparser.cpp		expressionparser.cpp
expressionparser.h		expressionparser.h
main.cpp		main.cpp
reverse_polish_notion.txt		reverse_polish_notion.txt
run_logic_ci.sh		run_logic_ci.sh
shunting-yard_pseudo.txt		shunting-yard_pseudo.txt
statement.cpp		statement.cpp
statement.h		statement.h
statementevaluator.cpp		statementevaluator.cpp
statementevaluator.h		statementevaluator.h
test.html		test.html
tkoz_notes.txt		tkoz_notes.txt
wasm_build.sh		wasm_build.sh

Provide feedback