the all branch adds an SMT solver as a backend, and combines it with tabling too. Work remains to refactor the combination into composable modules, and ... find a killer app beyond shortest paths. :)
Open Source Agenda is not affiliated with "Scalogno" Project. README Source: namin/scalogno