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
আপডেট হয়েছে 3/13/2026
স্টার
304
ফর্ক
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.
ইনস্টলেশন
$ install --globalskills.sh
ব্যবহার
ইনস্টল করার পর, টার্মিনালে নিচের কমান্ড চালিয়ে আপনি এই স্কিল ব্যবহার করতে পারবেন:
skills use c-quantificational-logic-solver-implementation