4 Commits

Author	SHA1	Message	Date
Andrea Cavalli	dc69bf8e25	Reimplement LMDB PriorityQueue using RocksDB	2022-04-06 02:41:32 +02:00
Andrea Cavalli	eaef75a304	Close LMDB databases after each full search	2021-12-18 21:01:14 +01:00
Andrea Cavalli	3d7e80b4ec	Update comparators	2021-11-16 23:19:13 +01:00
Andrea Cavalli	e6c0f14fda	Implement some sort codecs	2021-10-15 22:03:53 +02:00