ohhmm / openmind

Deduction framework with arbitrary mathematical system solver.
https://www.deduction-fw.org/
BSD 3-Clause "New" or "Revised" License
13 stars 8 forks source link

Facilities ranking for each goal #1

Open ohhmm opened 8 years ago

ohhmm commented 8 years ago

Ranking by characteristics, like indexing for choosing matching facility

ohhmm commented 7 months ago

should be integrated into rt::TheFastestGet