Yet Another Sat solvER
-
Updated
Jan 3, 2024 - C
Yet Another Sat solvER
I created this tool to help reducing and resolving merge conflicts at early stages by monitoring the git logs at a regular laps of time. Feel free to improve the functionnality, PRs are welcomed!
Add a description, image, and links to the conflict-resolution topic page so that developers can more easily learn about it.
To associate your repository with the conflict-resolution topic, visit your repo's landing page and select "manage topics."