https://logic.solves.ca/ weekly 1.0 https://logic.solves.ca/manual/ weekly 0.8 https://logic.solves.ca/manual/editor.html weekly 0.7 https://logic.solves.ca/manual/bindings.html weekly 0.7 https://logic.solves.ca/manual/predicates.html weekly 0.7 https://logic.solves.ca/manual/graph.html weekly 0.7 https://logic.solves.ca/manual/truth-table.html weekly 0.7 https://logic.solves.ca/manual/simplify.html weekly 0.7 https://logic.solves.ca/manual/solver.html weekly 0.7 https://logic.solves.ca/manual/coverage.html weekly 0.7 https://logic.solves.ca/manual/export.html weekly 0.7 https://logic.solves.ca/manual/howto.html weekly 0.7 https://logic.solves.ca/manual/support-matrix.html weekly 0.7