Check that properties are boolean
Ignore xls files
A very hard problem based on 8-slide puzzle
Ignore benchmark files
Improve runtime from 15m to 3s using booleans instead of ints
Some long running examples
Test file based on triangle peg puzzle
Updated README.md to reflect new github releases
Update README.md
Update README.md
Switch to Java 7 style inferred generic arguments for constructors
Merge branch 'master' into lustre2excel

Conflicts:
	README.md
	src/jkind/analysis/StaticAnalyzer.java
	src/jkind/invariant/CandidateGenerator.java
	src/jkind/invariant/CombinatorialInfo.java
	src/jkind/invariant/Graph.java
	src/jkind/invariant/Node.java
	src/jkind/processes/BaseProcess.java
	src/jkind/processes/Director.java
	src/jkind/processes/InductiveProcess.java
	src/jkind/processes/InvariantProcess.java
	src/jkind/processes/Process.java
	src/jkind/processes/ReduceProcess.java
	src/jkind/slicing/LustreSlicer.java
	src/jkind/solvers/Eval.java
	src/jkind/solvers/Lambda.java
	src/jkind/solvers/UnsatResult.java
	src/jkind/solvers/smtlib2/ModelExtractor.java
	src/jkind/solvers/smtlib2/SmtLib2Model.java
	src/jkind/solvers/yices/YicesModel.java
	src/jkind/translation/Expr2SexpVisitor.java
	src/jkind/translation/Lustre2Sexps.java
	src/jkind/util/BiMap.java
	src/jkind/util/Util.java
	src/jkind/writers/ExcelWriter.java
	src/jkind/writers/Writer.java