search

UNSAT3D / unsat

Input/Output tools for the UNSAT project
https://unsat3d.github.io/unsat/
Apache License 2.0
1 stars 0 forks source link

Rename the repository #8

Closed PabRod closed 10 months ago

PabRod commented 10 months ago

Rename it to unsat. We don't need as much granularity as we initially thought.

PabRod commented 10 months ago

Tests passing and external services updated.

@APJansen, I just need you to merge main into your current working branch and check if further renaming is needed. That will close the issue.