sat

Boolean satisifiability problem and it's applications

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
cpp		cpp
data		data
owa		owa
presentation		presentation
results		results
satgame		satgame
scripts		scripts
thesis		thesis
.gitignore		.gitignore
README.md		README.md
__init__.py		__init__.py
analyzer.py		analyzer.py
approx_solve.py		approx_solve.py
benchmark_fact.py		benchmark_fact.py
boolean_formula_properties.txt		boolean_formula_properties.txt
common_fact.py		common_fact.py
common_owa.py		common_owa.py
conflicts_random.py		conflicts_random.py
expand_fact.py		expand_fact.py
factmodel.py		factmodel.py
formula.py		formula.py
generate_formula.py		generate_formula.py
greedy.py		greedy.py
ilpmodel.py		ilpmodel.py
inequalities.py		inequalities.py
interactions_graph.py		interactions_graph.py
model.py		model.py
owamodel.py		owamodel.py
resolve_fact.py		resolve_fact.py
stalmarck_fact.py		stalmarck_fact.py
swap_greedy_fact.py		swap_greedy_fact.py
xor_converter.py		xor_converter.py

michal3141/sat