GitHub - PJames/oklibrary: A research platform and active library for generalised SAT solving

Name		Name	Last commit message	Last commit date
Latest commit History 6,290 Commits
Applications		Applications
Buildsystem		Buildsystem
Combinatorics		Combinatorics
ComputerAlgebra		ComputerAlgebra
Concepts		Concepts
DataStructures		DataStructures
Experimentation		Experimentation
General		General
Logic		Logic
LogicalReflection		LogicalReflection
OKsolver		OKsolver
Optimisation		Optimisation
Programming		Programming
Satisfiability		Satisfiability
Statistics		Statistics
Structures		Structures
System		System
TestExecutionTools		TestExecutionTools
TestSystem		TestSystem
Visualisation		Visualisation
annotations		annotations
demos		demos
docus		docus
plans		plans
traits		traits
.gitignore		.gitignore