K1ntus / Computational-Complexity Public

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

Solving a graph NP-problem using Sat-Solving (libz3) approach.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
assignment		assignment
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Computational-Complexity

Installer les paquets suivants (sur debian):

apt install bison flex libz3-dev doxygen

Useful Links

DM: https://moodle1.u-bordeaux.fr/pluginfile.php/572549/mod_resource/content/1/DM-part2.pdf Wiki (Z3): https://github.com/Z3Prover/z3/wiki#background https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_a_s_t.html#detailsx

About

Solving a graph NP-problem using Sat-Solving (libz3) approach.

graph sat-solver np-problem libz3

Report repository

Releases

No releases published

Packages

No packages published

Languages