Created default layout


git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1631 4a70a31b-f663-c608-99c9-fb883f79e3b9
Add a file for git-svn


git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1632 4a70a31b-f663-c608-99c9-fb883f79e3b9
First commit

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1633 4a70a31b-f663-c608-99c9-fb883f79e3b9
Support for GT and PHP formulas

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1634 4a70a31b-f663-c608-99c9-fb883f79e3b9
Support for Ramsey formulas

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1635 4a70a31b-f663-c608-99c9-fb883f79e3b9
Documentation

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1636 4a70a31b-f663-c608-99c9-fb883f79e3b9
Support for LaTeX output, and implementation of some formulas.

In  particular RamseyNumber,OrderingPrinciple  and PigeonholePrinciple
formulas.

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1637 4a70a31b-f663-c608-99c9-fb883f79e3b9
A command line to produce the formulas

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1638 4a70a31b-f663-c608-99c9-fb883f79e3b9
Experimenting wth graph reading command line options

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1639 4a70a31b-f663-c608-99c9-fb883f79e3b9
Implement some formula lifing schems

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1640 4a70a31b-f663-c608-99c9-fb883f79e3b9
Tentative implementation of pebbling formulas

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1641 4a70a31b-f663-c608-99c9-fb883f79e3b9
Pebble on tree and pyramid

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1642 4a70a31b-f663-c608-99c9-fb883f79e3b9
Dot file reading functions

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1643 4a70a31b-f663-c608-99c9-fb883f79e3b9
kth file format

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1644 4a70a31b-f663-c608-99c9-fb883f79e3b9
Small changes

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1645 4a70a31b-f663-c608-99c9-fb883f79e3b9
More robust clause type

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1646 4a70a31b-f663-c608-99c9-fb883f79e3b9
Fixed a bug about type hierarchy

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1647 4a70a31b-f663-c608-99c9-fb883f79e3b9
Many lifting and substitution implemented

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1648 4a70a31b-f663-c608-99c9-fb883f79e3b9
Fixing syntax error

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1649 4a70a31b-f663-c608-99c9-fb883f79e3b9
Preliminary implementation of graph tautology: Graph ordering principle and Tseitin

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@1650 4a70a31b-f663-c608-99c9-fb883f79e3b9