Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@mxkramer
mxkramer authored Dec 18, 2024
1 parent 23e31c3 commit 3b4c3c1
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -203,8 +203,6 @@ Maximilian J. Kramer, Paul Boes. (2023). ["Using deep learning to construct Stoc

## Contributing

We developed the idea of GNN-based oracle factories further, and included pseudo-industrial SAT datasets.

This GNN-based oracle factory is openly developed in the wild and contributions (both internal and external) are highly appreciated. See [CONTRIBUTING.md](./CONTRIBUTING.md) on how to get started.

If you have feedback or want to propose a new feature, please [open an issue](https://github.com/porscheofficial/sls_sat_solving_with_deep_learning/issues).
Expand Down

0 comments on commit 3b4c3c1

Please sign in to comment.