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