GitHub repository: Grula/DP-procedure
Primary language: C++
Description: Project from course of Automated Reasoning implementing DB procedure