Stefan Müller 6a7bffa42a Add Solver trait and move common functionality out of concrete solvers

2025-12-06 01:27:15 +01:00

..

common

Update structure of modules

2025-12-06 00:59:48 +01:00

solvers

Add Solver trait and move common functionality out of concrete solvers

2025-12-06 01:27:15 +01:00

common.rs

Add Solver trait and move common functionality out of concrete solvers

2025-12-06 01:27:15 +01:00

main.rs

Add Solver trait and move common functionality out of concrete solvers

2025-12-06 01:27:15 +01:00

solvers.rs

Add Solver trait and move common functionality out of concrete solvers

2025-12-06 01:27:15 +01:00