Dodani simple testi za operacije in metoda simplify, (ni še dokončan test)
Dodani simple testi za operacije in metoda simplify, (ni še dokončan test)
Merge branch 'master' of https://github.com/rusepatacis/LVR_team5
Popravljeni testi, rešenih par bugov iz sat_solver simplify