Web application for calculating formula in CNF/DIMACS via different sat solvers.

To build frontend application there is required npm and angular cli

ng build -d static

pip install django

Django Rest Framework installation

pip install djangorestframework
pip install django-cors-headers #required for CORS requests

To run Django server

python manage.py runserver

We are using Python 3, so on linux it might be python3

To create database make migrations

python manage.py makemigrations

Then migrate data

python manage.py migrate

Library for processing CNF do DIMACS format

pip install pyeda

By default admin panel should be available at /admin endpoint.

Creating admin account

python manage.py createsuperuser