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