Skip to content

WoutPiessens/proof-logging-exercise

Repository files navigation

Databases Individual Project - SQL in Practice

Start Project

  1. Cf. het ./docs/prerequisites.pdf document als startpunt.
  2. Volg de instructies in dat document.
  3. Open de notebook ./note/assignment.ipynb, run de notebook en volg dan de instructies daar. De notebook leest ook tekst & uitleg in uit andere bestanden: de notebook moet dus gerund worden vooraleer alle instructies up-to-date en zichtbaar zijn.

Veel succes!

About

Equipping a SAT solver developed in python with proof logging using the VeriPB proof system.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors