Manage | Anaconda.org

potassco / packages / clingo-lpx

0

A solver for logic programs with difference constraints.

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	103.5 kB	\| osx-64/clingo-lpx-1.0.0-h4cf5134_0.tar.bz2	5 years and 29 days ago	7	main
	conda	122.3 kB	\| linux-64/clingo-lpx-1.0.0-hda08288_0.tar.bz2	5 years and 29 days ago	10	main