Skip to content

Commit

Permalink
feat: implement SLTU in Monster solver (#58) (#73)
Browse files Browse the repository at this point in the history 
- invertability and consistency conditions
- adding SLTU to BVOperators
- tests and fixes implemented

Co-authored-by: alexanderlackner <[email protected]>
  • Loading branch information
@alexanderlackner @ChristianMoesl
2 people authored and ChristianMoesl committed Nov 17, 2020
1 parent c7b9c00 commit bf7f8f7
Show file tree
Hide file tree
Showing 2 changed files with 259 additions and 26 deletions.
Loading

0 comments on commit bf7f8f7

Please sign in to comment.