Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
Properties		Properties
.gitignore		.gitignore
CTLSAT.csproj		CTLSAT.csproj
CTLSAT.sln		CTLSAT.sln
CTLSatisfiabilityChecker.cs		CTLSatisfiabilityChecker.cs
CTLUtils.cs		CTLUtils.cs
Formula.cs		Formula.cs
FormulaCNF.cs		FormulaCNF.cs
FormulaParser.cs		FormulaParser.cs
Program.cs		Program.cs
QBFSolver.cs		QBFSolver.cs
README.md		README.md
SatisfiabilityTests.cs		SatisfiabilityTests.cs
SymbolicState.cs		SymbolicState.cs
TicketMachine.cs		TicketMachine.cs
app.config		app.config