Skip to content

Activity

Update version to 0.10.0

Dekker1pushed 99 commits to stable • 3fc2ffc…2db41dd • 
28 days ago

Update version to 0.10.0

Dekker1pushed 1 commit to develop • 334a036…2db41dd • 
28 days ago

Deleted branch

Dekker1deleted feat/intermediate_solutions • 
28 days ago

Small improvements in scoping and type assertions

Dekker1pushed 3 commits to develop • 40635e8…334a036 • 
28 days ago

Small improvements in scoping and type assertions

Force push
Dekker1force pushed to feat/intermediate_solutions • 5f5cb5b…334a036 • 
28 days ago

Small improvements in scoping and type assertions

Force push
Dekker1force pushed to feat/intermediate_solutions • ccd735a…5f5cb5b • 
28 days ago

Small improvements in scoping and type assertions

Dekker1created feat/intermediate_solutions • ccd735a • 
28 days ago

Update change log

Dekker1pushed 2 commits to develop • 45fabec…40635e8 • 
28 days ago

Support combining different diversity measures and constraining them (#…

Pull request merge
Dekker1pushed 1 commit to develop • ff0b84f…45fabec • 
on Jan 29

Deleted branch

Update formatting and remove unnecessary file

Pull request merge
Dekker1pushed 2 commits to develop • 0dad82c…ff0b84f • 
on Jan 16

Update formatting and remove unnecessary file

Dekker1pushed 1 commit to dependabot/github_actions/astral-sh/setup-uv-5 • 287e4d0…24866cd • 
on Jan 16

Update version to 0.9.0

Force push
Dekker1force pushed to stable • 75a5e98…3fc2ffc • 
on Jan 16

Fix Driver typo in advanced_usage.rst (#192)

Pull request merge
Dekker1pushed 1 commit to stable • 3fc2ffc…75a5e98 • 
on Jan 16

Bump astral-sh/setup-uv from 4 to 5

dependabot[bot]created dependabot/github_actions/astral-sh/setup-uv-5 • 287e4d0 • 
on Dec 23, 2024

Finding diverse solution for MiniZinc instances (#87)

Pull request merge
Dekker1pushed 1 commit to develop • 33f7deb…0dad82c • 
on Dec 13, 2024

Deleted branch

Dekker1deleted dependabot/pip/development-61b78b2c60 • 
on Dec 13, 2024

Deleted branch

Dekker1deleted feat/uv • 
on Dec 2, 2024

Simplify the project management using uv

Dekker1pushed 1 commit to develop • 8849c95…33f7deb • 
on Dec 2, 2024

Simplify the project management using uv

Force push
Dekker1force pushed to feat/uv • b98e42f…33f7deb • 
on Dec 2, 2024

Simplify the project management using uv

Force push
Dekker1force pushed to feat/uv • 59c0c7a…b98e42f • 
on Dec 2, 2024

Simplify the project management using uv

Force push
Dekker1force pushed to feat/uv • 37086ac…59c0c7a • 
on Dec 2, 2024

Simplify the project management using uv

Force push
Dekker1force pushed to feat/uv • d18e895…37086ac • 
on Dec 2, 2024

Simplify the project management using uv

Force push
Dekker1force pushed to feat/uv • 47ccb8d…d18e895 • 
on Dec 2, 2024

Simplify the project management using uv

Force push
Dekker1force pushed to feat/uv • e8a3f85…47ccb8d • 
on Dec 2, 2024

Simplify the project management using uv

Dekker1created feat/uv • e8a3f85 • 
on Dec 2, 2024

Bump the development group with 3 updates

dependabot[bot]created dependabot/pip/development-61b78b2c60 • fe47a63 • 
on Dec 2, 2024

Deleted branch

Dekker1deleted dependabot/pip/development-a2e815c9c5 • 
on Nov 25, 2024

Bump the development group with 2 updates

Pull request merge
Dekker1pushed 1 commit to develop • 5de4c42…8849c95 • 
on Nov 25, 2024

Bump the development group with 2 updates

dependabot[bot]created dependabot/pip/development-a2e815c9c5 • 487f167 • 
on Nov 25, 2024