initial working commit

.gitignore

.gitlab-ci.yml

.vscode/extensions.json

README.md

package-lock.json

package.json

public/favicon.png

public/global.css

public/index.html

rollup.config.js

src/App.svelte

src/ControlFlowGraph.svelte

src/dpll-algo.ts

src/dpll-grapher.ts

src/grapher.ts

src/knf-parser.pegjs

src/knf-parser.ts

src/main.ts

src/models.ts

src/utils.ts