cff-version: 1.2.0 abstract: "Python code corresponding to the CPAIOR 2021 paper "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"." authors: - family-names: van Driel given-names: Ronald - family-names: Demirovic given-names: Emir - family-names: Yorke-Smith given-names: Neil orcid: "https://orcid.org/0000-0002-1814-3515" title: "VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"" keywords: version: 1 identifiers: - type: doi value: 10.4121/14259635.v1 license: GPL-3.0 date-released: 2021-04-19