Djinn

MaRDI QIDQ34653swMATHFDO

Official website http://hackage.haskell.org/package/djinn

Cited in

(3)

• Genetic programming + proof search = automatic improvement
• Gen-O-Fix
• GenProg

This page was built for software: Djinn