Thanks to visit codestin.com
Credit goes to github.com

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
src		src
README.md		README.md

Repository files navigation

SchurLemma

Compile SchurLemmaFinal.java file

Run the SchurLemmaFinal file with 1st parameter number of balls and 2nd parameter no of boxes

Running the program will generate a cnf file with name schur#balls#boxes.cnf in dimacs cnf format (http://www.satcompetition.org/2009/format-benchmarks2009.html)

Run the generated CNF file with any known Propositional SAT solver

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Java 100.0%