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