Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Melodic
melodic-integration
Commits
Commit
3e8d998f
authored
May 07, 2020
by
Alicja Reniewicz
Browse files
Merge branch 'rc3.1-adding-new-solvers-types' into 'rc3.1'
adding new type of solver: mcts See merge request
!3
parents
635547f9
abf4420e
Pipeline
#11889
passed with stages
in 28 minutes and 2 seconds
Changes
5
Pipelines
2