GitHub - Guillem96/WPM-1-3-: Conversor WCNF to WPM(1,3), dimacs format.

Guillem96 / WPM-1-3- Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

Conversor WCNF to WPM(1,3), dimacs format.

GPL-3.0 license

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
WPM-1-3-.git		WPM-1-3-.git
.gitignore		.gitignore
Clause.py		Clause.py
Formula.py		Formula.py
LICENSE		LICENSE
Main.py		Main.py
README.md		README.md
dimacs.txt		dimacs.txt
out.txt		out.txt

Repository files navigation

COPYRIGTH Guillem96 & Markankaro

About

Conversor WCNF to WPM(1,3), dimacs format.

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages