Python SOL.fresh_solver示例

示例#1

文件： test_primitives.py 项目： akamaus/factorio-ai

    def test_seg_contains_cases(self):
        SOL.fresh_solver()
        sb = Segment(p1=Point2D(0,0), p2=Point2D(10,0))
        SOL.add(sb.contains(Point2D(5,0)))
        self.assertIsNotNone(SOL.model())

        SOL.fresh_solver()
        sb = Segment(p1=Point2D(10, 0), p2=Point2D(0, 0))
        SOL.add(sb.contains(Point2D(5, 0)))
        self.assertIsNotNone(SOL.model())

        SOL.fresh_solver()
        sb = Segment(p1=Point2D(0, 0), p2=Point2D(0, 10))
        SOL.add(sb.contains(Point2D(0, 5)))
        self.assertIsNotNone(SOL.model())

        SOL.fresh_solver()
        sb = Segment(p1=Point2D(0, 10), p2=Point2D(0, 0))
        SOL.add(sb.contains(Point2D(0, 5)))
        self.assertIsNotNone(SOL.model())

示例#2

文件： test_demo_tasks.py 项目： akamaus/factorio-ai

 def setUp(self) -> None:
     SOL.fresh_solver()