Added documentation and tests to model
Added more tests
Added more documention
Changed function to be modifyable
Clean now working
Merge branch 'clean-and-test' into typing
Small beutification
Changed prettier doc strings
Initial changes to make the mapping structure
Added Renode
Added and changed stuff
Extended documentation and BadBound
Removed Types..
Changed MUL_IF_LESS to be correct
Added a line to sat pylint
Added a new failing test case
Added failing test_variables_with_internal_nodes
Added failing test_node_creation
Changed test to accomendate for new tuple structure
Changed to new structure