kofdai
/

verantyx-logic-math

Text Generation

verantyx-logic-engine

symbolic-reasoning

Model card Files Files and versions

verantyx-logic-math / solvers

9.75 kB

1 contributor

History: 1 commit

kofdai's picture

Initial upload of Verantyx Logic Engine (v1.0)

29b87da verified about 2 months ago

__init__.py

0 Bytes

Initial upload of Verantyx Logic Engine (v1.0) about 2 months ago
prop_sat.py

9.75 kB

Initial upload of Verantyx Logic Engine (v1.0) about 2 months ago