Search Results for "gringo"
Sort By:
Showing 4 open source projects for "gringo"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.
-
2
aspmt
Computes ASPMT theories
System aspmt2smt is a prototype implementation of multi-valued propositional formulas under the stable model semantics computed by system z3 based on the theorem on completion. The system is a toolchain that includes aspmt-compiler, f2lp, gringo, and z3. Please follow the link to the ASPMT homepage for more information and a tutorial. System mvsm is a prototype implementation of multi-valued propositional formulas under the stable model semantics computed by gringo/claspD by eliminating functions in favor of predicates. The system is a toolchain that includes mvpf2lpCompiler, f2lp, gringo, claspD, and as2transition. ... -
3
-
4
System cplus2asp implements a translation from a fragment of the action language C+ to the language of f2lp, whose output is in the language of answer set solvers such as clingo (gringo/clasp).
-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
- Previous
- You're on page 1
- Next
