Go Back

Erlang Sat Server

As final project for the course “Advanced Functional Programming” an erlang sat solver was to be implemented. The focus was to be on the server and not on the actual solver.

The result can be seen here: