项目描述 ：
Analysis of the ProB Backends via inTrees, extracting knowledge from random forests. Code for the publication "Analysing ProB's Constraint Solving Backends: What do they know? Do they know things? Let's find out!".

高级语言： Jupyter Notebook

项目主页：

项目地址: git://github.com/jdnklau/prob-backend-analysis.git

创建时间： 2020-01-08T17:31:04Z
项目社区：https://github.com/jdnklau/prob-backend-analysis
开源协议：
下载