v0.1.6

• Conflict-driven goal reaching for goals specified with negation as failure
• Preliminary timeout feature for ASP solving
• Add child nodes to nodes during A* search
• Bellman backup for A* nodes
• Tree backup for A* nodes
• get_time_str takes argument for number of decimal places

v0.1.5

• Add Action generic to Environment
• swap opencv-python dependency for pillow
• ASP Spec/Solver
• n-puzzle background knowledge
• hash refactor
• type hint fixes
• Fixed boltzmann overflow
• State and goal to nnet rep is one function
• Add start state to sample_goal for more robust goal sampling

v0.1.1

• Add opencv-python and imageio for visualizing Sokoban states
• Fix Sokoban data downloading
• Change Sokoban ground atoms to new format
• Add assumed true/false to ASP sample_minimal_model
• Refactor codebase
• Type hinting fixes based on mypy