version bump (google#357)

Save/load list of node (google#288)

* added loading and saving of Iterable[BaseNode]

* save -> save_nodes, load->load_nodes, load_net -> load

* iport load_nodes, save_nodes

* docstring

* docstring updated

* added contract_trace_edges

* test for save_nodes and load_nodes extended

* import contract_trace_edges

* fix bug in reachable

* there was still a bug; fixed now

* remove unused variables, fix typing errors

* add test

* test added

* fix the bigfix ...

* typo

* remove unused variable

* check reachable disconnected

* comments

* added more tests

* added pytest fixture for tmp_path

* fixed indent

* removed mixed line endings

* removed commented code

* fix tests

Bump version and change default backend to numpy (google#236)

* Bump version and swap backend!

* Fixed tests

* Find and replace mistake

* Updated requirements.txt

* Changed default to numpy

* Changed requirements

Bump version (google#176)

Bump version release (google#169)

Exclude tests from release (google#143)

bumped version (google#126)

Version release (google#79)

* Moved 3sat to examples

* 0.0.2 release

* Added manifest

* Bumped to 0.0.3 because setup.py was bugged