GitHub - CoreSenseEU/coresense_vampire: Wrapper around the Vampire ATP in terms of a ROS 2 node · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
coresense_vampire		coresense_vampire
scripts		scripts
tools		tools
CMakeLists.txt		CMakeLists.txt
package.xml		package.xml

About

Wrapper around the Vampire ATP in terms of a ROS 2 node

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 94.7%
CMake 5.3%