Developer's Guide

From CVC4
Revision as of 17:09, 16 November 2009 by Mdeters (Talk | contribs)

Jump to: navigation, search

Source tree layout

  • config
  • contrib
  • doc
  • src
    • core
    • include
    • parser
    • sat

Coding guidelines

Use of autotools: automake, autoconf, autoheader, libtool

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=Developer%27s_Guide&oldid=920"