Open nick8325 opened 3 years ago
Hello,
Darwin and Gandalf are both listed on the "most wanted list". I noticed that the source code for both of them is available online.
Darwin is here: http://combination.cs.uiowa.edu/Darwin/#Download
Gandalf can be found among the CASC-18 entrants: http://tptp.cs.miami.edu/CASC/18/Entrants.html
Both claim to be GPL-licensed (for Darwin, at the webpage above; for Gandalf, in the README file as well as the files GPLGandalf/COPYING and Scm/COPYING), so it at least should be legal to distribute them. But I haven't spoken to the authors.
Hello,
Darwin and Gandalf are both listed on the "most wanted list". I noticed that the source code for both of them is available online.
Darwin is here: http://combination.cs.uiowa.edu/Darwin/#Download
Gandalf can be found among the CASC-18 entrants: http://tptp.cs.miami.edu/CASC/18/Entrants.html
Both claim to be GPL-licensed (for Darwin, at the webpage above; for Gandalf, in the README file as well as the files GPLGandalf/COPYING and Scm/COPYING), so it at least should be legal to distribute them. But I haven't spoken to the authors.