• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

alpha-asp / Alpha / #1815

Builds Branch Commit Type Ran Committer Via Coverage
#1815 weak_constraints Enable optimization based on command-line, also accept upper bound, and print valuation of answer sets if weak constraints are present. - CommandLineParser and SystemConfig handle options enabling optimization and maximum upper bound. - WeakConst... push 10 Jan 2023 04:54AM UTC github-actions pending completion
#1814 citation add orcid push 07 Dec 2021 02:51PM UTC madmike200590 github-actions pending completion
#1813 citation Add CITATION.cff push 02 Dec 2021 09:44PM UTC lorenzleutgeb github-actions pending completion
#1812 master Merge pull request #313 from alpha-asp/ci ci: Clean up GitHub Actions spec push 30 Nov 2021 02:03PM UTC web-flow github-actions pending completion
#1811 citation Merge f0f29b40d into 094dd3b67 Pull #314 18 Nov 2021 06:23PM UTC web-flow github-actions pending completion
#1810 citation Add CITATION.cff push 18 Nov 2021 05:56PM UTC lorenzleutgeb github-actions pending completion
#1809 citation Add CITATION.cff push 18 Nov 2021 05:55PM UTC lorenzleutgeb github-actions pending completion
#1808 citation Merge 14f831ed8 into 094dd3b67 Pull #314 18 Nov 2021 05:36PM UTC web-flow github-actions pending completion
#1807 ci Merge e0aff89c5 into 094dd3b67 Pull #313 15 Nov 2021 10:42AM UTC web-flow github-actions pending completion
#1806 ci ci: Clean up GitHub Actions spec push 15 Nov 2021 10:35AM UTC lorenzleutgeb github-actions pending completion
#1805 master Merge pull request #310 from alpha-asp/gradle-7.3 gradle: 7.0 -> 7.3 push 11 Nov 2021 12:36PM UTC web-flow github-actions pending completion
#1804 gradle-7.3 Merge a4f6a1cd5 into 1824e822e Pull #310 11 Nov 2021 07:26AM UTC web-flow github-actions pending completion
#1803 gradle-7.3 gradle: 7.0 -> 7.3 push 11 Nov 2021 07:20AM UTC lorenzleutgeb github-actions pending completion
#1802 gradle-7.3 Merge 5504a9f86 into 1824e822e Pull #310 10 Nov 2021 04:11PM UTC web-flow github-actions pending completion
#1801 gradle-7.3 gradle: 7.0 -> 7.3 push 10 Nov 2021 04:08PM UTC lorenzleutgeb github-actions pending completion
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • …
  • 77
  • 78
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc