Skip to content

Commit

Permalink
Update: Coninfer.ECLiPSeCLP.7.1 version 7.1 #13 (#92744)
Browse files Browse the repository at this point in the history
  • Loading branch information
SpecterShell committed Jan 3, 2023
1 parent 8c0dfc6 commit 590f617
Show file tree
Hide file tree
Showing 4 changed files with 100 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
# Created with YamlCreate.ps1 v2.2.1 $debug=QUSU.CRLF.7-3-1.Win32NT
# yaml-language-server: $schema=https://aka.ms/winget-manifest.installer.1.2.0.schema.json

PackageIdentifier: Coninfer.ECLiPSeCLP.7.1
PackageVersion: '7.1 #13'
InstallerType: nullsoft
Scope: machine
UpgradeBehavior: install
Commands:
- eclipse
FileExtensions:
- ecl
- eco
- pl
Installers:
- Architecture: x64
InstallerUrl: https://eclipseclp.org/Distribution/Builds/7.1_13/x86_64_nt/ECLiPSe_7.1_13_x86_64_nt.exe
# InstallerUrl: https://sourceforge.net/projects/eclipse-clp/files/Builds/7.1_13/x86_64_nt/ECLiPSe_7.1_13_x86_64_nt.exe/download
InstallerSha256: 04F1F979A65B4396D29B2CC7E096F1A56322E26B9089405A3BD33404BB7B88EB
ProductCode: ECLiPSe 7.1 (64 bit)
ManifestType: installer
ManifestVersion: 1.2.0
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
# Created with YamlCreate.ps1 v2.2.1 $debug=QUSU.CRLF.7-3-1.Win32NT
# yaml-language-server: $schema=https://aka.ms/winget-manifest.defaultLocale.1.2.0.schema.json

PackageIdentifier: Coninfer.ECLiPSeCLP.7.1
PackageVersion: '7.1 #13'
PackageLocale: en-US
Publisher: Coninfer Ltd # null
PublisherUrl: https://coninfer.com/
PublisherSupportUrl: https://eclipseclp.org/mailinglist.html
PrivacyUrl: https://eclipseclp.org/privacy.html
Author: Coninfer Ltd
PackageName: ECLiPSe Constraint Logic Programming System Version 7.1
PackageUrl: https://eclipseclp.org/
License: MPL-1.1
LicenseUrl: https://eclipseclp.org/licence.html
# Copyright:
# CopyrightUrl:
ShortDescription: A Constraint Logic Programming (CLP) system
Description: ECLiPSe is an open-source software system for the cost-effective development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also ideal for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It contains several constraint solver libraries, a high-level modelling and control language, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.
# Moniker:
Tags:
- language
- logic
- programming
- prolog
# Agreements:
# ReleaseNotes:
ReleaseNotesUrl: https://eclipseclp.org/Distribution/ChangeLog.txt
# PurchaseUrl:
# InstallationNotes:
Documentations:
- DocumentLabel: Documentation
DocumentUrl: https://eclipseclp.org/doc/
ManifestType: defaultLocale
ManifestVersion: 1.2.0
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
# Created with YamlCreate.ps1 v2.2.1 $debug=QUSU.CRLF.7-3-1.Win32NT
# yaml-language-server: $schema=https://aka.ms/winget-manifest.locale.1.2.0.schema.json

PackageIdentifier: Coninfer.ECLiPSeCLP.7.1
PackageVersion: '7.1 #13'
PackageLocale: zh-CN
Publisher: Coninfer Ltd # null
PublisherUrl: https://coninfer.com/
PublisherSupportUrl: https://eclipseclp.org/mailinglist.html
PrivacyUrl: https://eclipseclp.org/privacy.html
Author: Coninfer Ltd
PackageName: ECLiPSe Constraint Logic Programming System Version 7.1
PackageUrl: https://eclipseclp.org/
License: MPL-1.1
LicenseUrl: https://eclipseclp.org/licence.html
# Copyright:
# CopyrightUrl:
ShortDescription: 约束逻辑编程系统
Description: ECLiPSe 是一款开源软件系统,用于在规划、调度、资源分配、时间安排、交通等领域高效益地开发和部署约束编程应用,同时也是讲授大部分组合问题求解的理想选择,例如问题建模、约束编程、数学规划和搜索技术。它包含多个约束求解器库、高级建模和控制语言、第三方求解器的接口、集成开发环境和嵌入主机环境的接口。
# Moniker:
Tags:
- prolog
- 编程
- 语言
- 逻辑
# Agreements:
# ReleaseNotes:
ReleaseNotesUrl: https://eclipseclp.org/Distribution/ChangeLog.txt
# PurchaseUrl:
# InstallationNotes:
Documentations:
- DocumentLabel: 文档
DocumentUrl: https://eclipseclp.org/doc/
ManifestType: locale
ManifestVersion: 1.2.0
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# Created with YamlCreate.ps1 v2.2.1 $debug=QUSU.CRLF.7-3-1.Win32NT
# yaml-language-server: $schema=https://aka.ms/winget-manifest.version.1.2.0.schema.json

PackageIdentifier: Coninfer.ECLiPSeCLP.7.1
PackageVersion: '7.1 #13'
DefaultLocale: en-US
ManifestType: version
ManifestVersion: 1.2.0

0 comments on commit 590f617

Please sign in to comment.