Files | Anaconda.org

potassco / packages / clingcon

0

A solver for logic programs with linear constraints over integers.

Filters

Type	Size	Name	Uploaded	Downloads	Labels
conda	198.4 kB	\| linux-64/clingcon-5.0.0-py38hda08288_0.tar.bz2	3 years and 8 months ago	11	main
conda	198.4 kB	\| linux-64/clingcon-5.0.0-py39hda08288_0.tar.bz2	3 years and 8 months ago	43	main
conda	198.4 kB	\| linux-64/clingcon-5.0.0-py36hda08288_0.tar.bz2	3 years and 8 months ago	5	main
conda	198.5 kB	\| linux-64/clingcon-5.0.0-py37hda08288_0.tar.bz2	3 years and 8 months ago	9	main