contrib/alttheoryskel/README.WHATS-NEXT

   1 Congratulations, you now have a new theory of $dir !
   2
   3 Your next steps will likely be:
   4
   5 * to implement a decision procedure for your theory by implementing
   6   Theory$camel::check() in theory_$dir.cpp. Before writing the actual
   7   code, you will need :
   8
   9   * to determine which data structures are context dependent and use for
  10     them context-dependent data structures (context/cd*.h)
  11   * to choose which work will be done at QUICK_CHECK, STANDARD or at
  12     FULL_EFFORT.
  13
  14 You'll probably find the Developer's wiki useful:
  15
  16   http://cvc4.cs.stanford.edu/wiki/
  17
  18 ...and the Developer's Guide:
  19
  20   https://github.com/CVC4/CVC4/wiki/Developer-Guide
  21
  22 which contains coding guidelines for the CVC4 project.
  23
  24 Good luck, and please contact cvc4-devel@cs.stanford.edu for assistance
  25 should you need it!