Command-line tool

ECLiPSe Constraint Logic Programming System Version 7.0

winget/Coninfer.ECLiPSeCLP.7.0

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index) programming 编程 language 语言 logic prolog 逻辑

At a glance

Type

Command-line tool

Install on

Windows

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

winget install --id Coninfer.ECLiPSeCLP.7.0 -e

Related command-line tools

• ECLiPSe Constraint Logic Programming System Version 7.1
  ECLiPSe Constraint Logic Programming System Version 7.1 (Windows package; no description in the winget index)…
• acl2
  Logic and programming language in which you can model computer systems
• flix
  Statically typed functional, imperative, and logic programming language
• logtalk
  Declarative object-oriented logic programming language programming 编程 language 语言 logic prolog 逻辑
• picat
  Simple, and yet powerful, logic-based multi-paradigm programming language
• mercury
  Logic/functional programming language
• clingo
  ASP system to ground and solve logic programs
• MiniZincIDE
  Open-source constraint modelling language and IDE programming 编程 优化 programming-language ide optimization language…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents