Josh Essman 93ed1a410c Updates to support clingo-cffi (#20657) ... * Support clingo when used with cffi Clingo recently merged in a new Python module option based on cffi. Compatibility with this module requires a few changes to spack - it does not automatically convert strings/ints/etc to Symbol and clingo.Symbol.string throws on failure. manually convert str/int to clingo.Symbol types catch stringify exceptions add job for clingo-cffi to Spack CI switch to potassco-vendored wheel for clingo-cffi CI on_unsat argument when cffi		2021-02-23 23:46:37 +00:00
..
actions/add-maintainers-as-reviewers	copyrights: update all files with license headers for 2021	2021-01-02 12:12:00 -08:00
ISSUE_TEMPLATE	Simplify Build Error template (#15864)	2020-04-06 19:28:13 -05:00
workflows	Updates to support clingo-cffi (#20657)	2021-02-23 23:46:37 +00:00
CODE_OF_CONDUCT.md	meta: move CODE_OF_CONDUCT.md and CONTRIBUTING.md to .github	2019-06-30 23:08:33 -07:00
CONTRIBUTING.md	meta: move CODE_OF_CONDUCT.md and CONTRIBUTING.md to .github	2019-06-30 23:08:33 -07:00
dependabot.yml	qa: use dependabot to update Github Actions	2021-01-06 00:00:33 -08:00