search

kovzol / Java-Geometry-Expert

Java Geometry Expert
Other
30 stars 17 forks source link

Request to Add Support for User-Customizable Rules in Ruleset #37

Open LitDarkness opened 4 months ago

LitDarkness commented 4 months ago

I would like to request the ability to add user-defined rules to the ruleset, such as creating custom rules for GDD. For example, allowing the use of certain theorems to prove problems. This feature would greatly enhance the flexibility and power of the ruleset.

kovzol commented 4 months ago

Yes, this is already requested from other users as well. We will work on this. Meanwhile please have a look at https://github.com/opengeometryprover/GDDM/tree/master/provers/ogpgddm.