GCS float time limit #745
Description
Our .solve() interface across all different backend solvers promises support for float time_limit. GCS only supports ints.
Captured by tests/test_solverinterface.py:test_time_limit
E TypeError: solve(): incompatible function arguments. The following argument types are supported:
E 1. (self: gcspy.GCS, all_solutions: bool = True, timeout: Optional[int] = None, solution_limit: Optional[int] = None, callback: Optional[Callable[[dict[str, int]], None]] = None, prove: bool = False, proof_name: Optional[str] = None, proof_location: Optional[str] = None) -> dict[str, int]
E
E Invoked with: <gcspy.GCS object at 0x7f5b2711ffb0>; kwargs: all_solutions=False, timeout=1.0, callback=None, prove=False, proof_name=None, proof_location='.'