search

IBM / LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic
https://IBM.github.io/LNN/
Apache License 2.0
226 stars 438 forks source link

Add docker files to run project in a container #67

Open HRezaei opened 1 year ago

HRezaei commented 1 year ago

I defined a container to avoid installing Graphviz and GMP on my personal machine. Then thought it might be useful for other people who have docker installed and want to run the project quickly.