git_url: https://gitlab.ow2.org/sat4j/sat4j
version_control: github
src_repo: sat4j/sat4j
tag_prefix: ""
seperator: "_"