home/categories/computational-chemistry/ecnu-icalk-autoskill-skillbank-convskill-english-gpt4-8-glm4-7-c-quantificational-logic-solver-implementation-skill-md
computational-chemistryresearch
c-quantificational-logic-solver-implementation
Implements a C++ function to evaluate a 3-variable quantificational logic formula (QxQyQz F(x,y,z)) based on a 4x4x4 boolean array and a quantifier array.
maintainer
ECNU-ICALK
Updated 3/13/2026
Stars
304
Forks
34
quick start
Installation and usage
Implements a C++ function to evaluate a 3-variable quantificational logic formula (QxQyQz F(x,y,z)) based on a 4x4x4 boolean array and a quantifier array.
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use c-quantificational-logic-solver-implementation