fix: Implement ResetAllDB for LevelDbCache

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

Open devin-ai-integration[bot] opened 1 day ago

devin-ai-integration[bot] commented 1 day ago

This PR contains a single commit from PR #487.

Original commit message: fix: Implement ResetAllDB for LevelDbCache