Moved ewff to separate files.
Restructured for C++.

Doesn't compile, obviously.
Gitignore.
Started re-implementation in C++.

Using STL containers.
Added ewffs.
Variables IDs are implicit.
Implemented model generation for ewffs.
You Complete Me config.
Ewff is DNF. Introduced Term::Var and Term::Name.

Restricting ewffs to DNF allows faster model generation.
Term::Var and Term::Name provide more type-safety.
Renamed Term::Var, Term::Name to Variable, StdName. Added unit test.

Now using GTest.
Fixed unification. Added std::pair-versions of Unify, Ground.

Also added -Wall to compiler flags.
Fixed unification. Added unit tests.
Fixed unification, added operator<< functions, unit test for literal.
Implemented Conj::Substitute(). Added unit tests.
Unified Ground()/Substitute(). Added typedefs.

StdName::SortedSet is to be used for H+.
Term::Seq is a sequence of terms (for z / args).
Also inlined simple constructors.
Started clause.
Simplified Ewff::Conj. variables() and names() return SortedMaps.
Renamed a few methods.
Fixed: Rel needs to negate literal

Also added an earlier check if literals might be unifiable at all.

Also added a unit test Ground(theta)==false --> theta is no model.
Added Ewff::Satisfiable().