RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
As of right now, the congruence class registry doesn't fully handle all the unit tests. Once it is working, we will add it to the continuous integration to ensure future changes don't break it.
As of right now, the congruence class registry doesn't fully handle all the unit tests. Once it is working, we will add it to the continuous integration to ensure future changes don't break it.