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
Actualizado 3/13/2026
Estrellas
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.
Instalación
$ install --globalskills.sh
Uso
Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:
skills use c-quantificational-logic-solver-implementation