simplesat

from simplesat.constraints import EQ, GE from simplesat.repository import Repository, Solvable from simplesat.solver import Solver # Define some solvables (e.g., packages and their versions) foo_1_0 = Solvable("foo", "1.0") foo_1_1 = Solvable("foo", "1.1") bar_1_0 = Solvable("bar", "1.0") # Create a repository of available solvables repo = Repository([foo_1_0, foo_1_1, bar_1_0]) # Initialize the solver with the repository solver = Solver(repo) # Add constraints to the solver solver.add_constraint(EQ("foo", "1.0")) # Require 'foo' version '1.0' solver.add_constraint(GE("bar", "1.0")) # Require 'bar' version '1.0' or greater # Solve the problem try: solution = solver.solve() print(f"Solution found: {solution}") except Exception as e: print(f"Failed to find a solution: {e}")