Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Is there any way to input a text file to batch up the creation of constants and assertions from an externally-maintained, human-readable source?

April 26, 2017assertions batch constants creation file human-readable input text

0

Posted

Is there any way to input a text file to batch up the creation of constants and assertions from an externally-maintained, human-readable source?

1 Answer

0

Posted

Right now there isn’t support for importing assertions in a high-level format (e.g., CycL). The only thing you can do is create a file with the API calls.