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:
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: