synthkit Release 2dad9ad2f07a4eb874f1b235fc681994001ca9ca

The following files are contained in the release:

• LICENSE
• README.md
• com.kjcjohnson.synthkit.asd
• src/ast/ast.lisp
• src/ast/atom.lisp
• src/ast/calling-card.lisp
• src/ast/counters.lisp
• src/ast/execution.lisp
• src/ast/hole.lisp
• src/ast/node.lisp
• src/ast/package.lisp
• src/ast/program-compiler.lisp
• src/ast/traversal.lisp
• src/ast/variables.lisp
• src/grammar/distance-to-leaves.lisp
• src/grammar/grammar.lisp
• src/grammar/package.lisp
• src/package.lisp
• src/semgus/cegis.lisp
• src/semgus/chc/chc.lisp
• src/semgus/chc/operations.lisp
• src/semgus/chc/package.lisp
• src/semgus/chc/symbol-table.lisp
• src/semgus/context.lisp
• src/semgus/operationalizer/codegen.lisp
• src/semgus/operationalizer/expressions.lisp
• src/semgus/operationalizer/op-graph-parser.lisp
• src/semgus/operationalizer/operationalization.lisp
• src/semgus/operationalizer/operationalizer.lisp
• src/semgus/operationalizer/opnodes.lisp
• src/semgus/operationalizer/package.lisp
• src/semgus/package.lisp
• src/semgus/protocol-operationalizer.lisp
• src/semgus/protocol-reader.lisp
• src/semgus/reader/constraints.lisp
• src/semgus/reader/events-chc.lisp
• src/semgus/reader/events-datatypes.lisp
• src/semgus/reader/events-functions.lisp
• src/semgus/reader/events-meta.lisp
• src/semgus/reader/events-symbol-table.lisp
• src/semgus/reader/events-synthesis.lisp
• src/semgus/reader/events-terms.lisp
• src/semgus/reader/events-utility.lisp
• src/semgus/reader/package.lisp
• src/semgus/reader/reader.lisp
• src/semgus/reader/relational-constraint-matchers.lisp
• src/semgus/reader/semantics.lisp
• src/semgus/reader_mono.lisp
• src/semgus/semantics.lisp
• src/semgus/semgus.lisp
• src/semgus/verifier.lisp
• src/semgus/verifiers/concretizing.lisp
• src/semgus/verifiers/glue.lisp
• src/semgus/verifiers/operational.lisp
• src/semgus/verifiers/package.lisp
• src/smt/builders.lisp
• src/smt/compiler.lisp
• src/smt/context.lisp
• src/smt/datatypes.lisp
• src/smt/declarations.lisp
• src/smt/evaluator.lisp
• src/smt/native.lisp
• src/smt/package.lisp
• src/smt/predicates.lisp
• src/smt/protocol-hash-code.lisp
• src/smt/protocol-solver.lisp
• src/smt/smt.lisp
• src/smt/solver.lisp
• src/smt/solvers/cl-smt-lib.lisp
• src/smt/solvers/package.lisp
• src/smt/states.lisp
• src/smt/theory-bitvectors.lisp
• src/smt/theory-core.lisp
• src/smt/theory-dispatch.lisp
• src/smt/theory-ints.lisp
• src/smt/theory-strings.lisp
• src/smt/traversal.lisp
• src/smt/trivia-extensions.lisp
• src/smt/types.lisp
• src/specification/base.lisp
• src/specification/cegis.lisp
• src/specification/inductive.lisp
• src/specification/joiners.lisp
• src/specification/package.lisp
• src/utilities.lisp
• src/vsa/cross-program-node.lisp
• src/vsa/empty-program-node.lisp
• src/vsa/enumerator.lisp
• src/vsa/leaf-program-node.lisp
• src/vsa/package.lisp
• src/vsa/program-node.lisp
• src/vsa/program-set.lisp
• src/vsa/union-program-node.lisp
• src/vsa/utilities.lisp
• t/main.lisp
• t/package.lisp
• t/patch.lisp
• t/smt/main.lisp
• t/smt/theories/bitvectors.lisp
• t/smt/theories/main.lisp
• t/smt/theories/regex.lisp
• t/smt/theories/strings.lisp
• t/smt/to-smt.lisp
• t/vsa/cross-program-node.lisp
• t/vsa/empty-program-node.lisp
• t/vsa/leaf-program-node.lisp
• t/vsa/main.lisp
• t/vsa/union-program-node.lisp
• version.sexpr