Skip to content

ChrisCameron1/MCFS

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

MCFS

Monte Carlo Forest Search: an algorithm for finding small search trees within a forest that retains the benefits of the best MCTS approaches.

Questions should be directed to Chris Cameron - cchris13 at cs dot ubc dot ca

License

This project is under the GPLv3 license (see license.txt file) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

About

UNSAT Solver Synthesis via Monte Carlo Forest Search (MCFS)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published