This repository has been moved to gitlab.com/paul-nechifor/resolvents.

Old readme:

Resolvents

This was one of my homeworks for the Logics for Computer Science course in my first semester of collage. Read more about it on my blog.

License

MIT