{"id":"https://openalex.org/W6931635340","doi":"https://doi.org/10.5281/zenodo.7780854","title":"Nemo2 (Numbers, fEatures, MOdels, version 2)","display_name":"Nemo2 (Numbers, fEatures, MOdels, version 2)","publication_year":2023,"publication_date":"2023-03-29","ids":{"openalex":"https://openalex.org/W6931635340","doi":"https://doi.org/10.5281/zenodo.7780854"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7780854","is_oa":true,"landing_page_url":"https://github.com/danieljmg/Nemo2_tool","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://github.com/danieljmg/Nemo2_tool","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Munoz, Daniel-Jesus","orcid":"https://orcid.org/0000-0002-1398-9423"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Munoz, Daniel-Jesus","raw_affiliation_strings":["ITIS Software, CAOSD, Universidad de M\u00e1laga"],"raw_orcid":"https://orcid.org/0000-0002-1398-9423","affiliations":[{"raw_affiliation_string":"ITIS Software, CAOSD, Universidad de M\u00e1laga","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Pinto, Monica","orcid":"https://orcid.org/0000-0002-5376-742X"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pinto, Monica","raw_affiliation_strings":["ITIS Software, CAOSD, Universidad de M\u00e1laga"],"raw_orcid":"https://orcid.org/0000-0002-5376-742X","affiliations":[{"raw_affiliation_string":"ITIS Software, CAOSD, Universidad de M\u00e1laga","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Fuentes, Lidia","orcid":"https://orcid.org/0000-0002-5677-7156"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fuentes, Lidia","raw_affiliation_strings":["ITIS Software, CAOSD, Universidad de M\u00e1laga"],"raw_orcid":"https://orcid.org/0000-0002-5677-7156","affiliations":[{"raw_affiliation_string":"ITIS Software, CAOSD, Universidad de M\u00e1laga","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":null,"display_name":"Batory, Don","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Batory, Don","raw_affiliation_strings":["Department of Computer Science, University of Texas at Austin, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at Austin, Texas, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10423","display_name":"Neurobiology and Insect Physiology Research","score":0.38359999656677246,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10423","display_name":"Neurobiology and Insect Physiology Research","score":0.38359999656677246,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12561","display_name":"bioluminescence and chemiluminescence research","score":0.1256999969482422,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10676","display_name":"Genetics, Aging, and Longevity in Model Organisms","score":0.048900000751018524,"subfield":{"id":"https://openalex.org/subfields/1302","display_name":"Aging"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6075999736785889},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5982999801635742},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.48809999227523804},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45080000162124634},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41850000619888306},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.39329999685287476},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.390500009059906}],"concepts":[{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6075999736785889},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5982999801635742},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5875999927520752},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.48809999227523804},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48069998621940613},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45080000162124634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44929999113082886},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41850000619888306},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.39329999685287476},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.390500009059906},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.38179999589920044},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3732999861240387},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3280999958515167},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.296099990606308},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C4926405","wikidata":"https://www.wikidata.org/wiki/Q3269980","display_name":"Boolean domain","level":5,"score":0.259799987077713},{"id":"https://openalex.org/C94922259","wikidata":"https://www.wikidata.org/wiki/Q33215","display_name":"Constructed language","level":2,"score":0.2556000053882599}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7780854","is_oa":true,"landing_page_url":"https://github.com/danieljmg/Nemo2_tool","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.7780854","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7780854","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7780854","is_oa":true,"landing_page_url":"https://github.com/danieljmg/Nemo2_tool","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6695977280","display_name":null,"funder_award_id":"101017109","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,445,472,583,619],"publications":[1],"and":[2,17,29,33,50,86,92,117,150,176,205,211,219,226,303,343,411,656,749,762,765],"research":[3],"associated":[4],"with":[5,35,83,182,337,486,499,513,742],"this":[6,322],"software":[7],"is":[8,26,57,188,236,376,517,540,574,586,623,734],"currently":[9],"under":[10,59],"review":[11],"in":[12,43,54,88,104,111,196,264,317,321,330,352,428,440,451,533,567,588,595,601,729],"the":[13,60,89,161,241,248,309,335,374,388,393,426,429,438,441,452,460,476,518,526,529,534,538,558,561,568,572,589,596,607,616,624,718,743,755],"\"<em>Journal</em>":[14],"of":[15,52,122,167,247,528,560,615,626,632,703,717,721],"<em>Systems</em>":[16],"<em>Software</em>\".":[18],"Nemo2":[19,25,77,105,115,137,187,311],"(Numbers,":[20],"fEatures,":[21],"MOdels,":[22],"version":[23,65],"2)":[24],"a":[27,44,75,112,143,147,152,189,238,484,495,508,546,730,735],"boolean":[28,179],"numerical":[30,39,84],"constraint":[31],"language":[32,110],"tool":[34,191],"first-class":[36],"support":[37,78,139],"for":[38,358],"feature":[40,174],"modeling":[41,109],"based":[42],"collaboration":[45],"between":[46],"Universidad":[47,665,680,692],"de":[48,666,681,693],"Malaga":[49],"University":[51],"Texas":[53],"Austin.":[55],"It":[56,647],"licensed":[58],"MIT":[61],"license.":[62],"For":[63],"Nemo":[64,326,714],"1,":[66],"we":[67,164],"refer":[68],"stakeholders":[69],"to":[70,170,314,424,436,458,480,491,504,521,564,725,769],"its":[71,551,727,770],"repository:":[72],"https://github.com/danieljmg/Nemo_tool":[73],"At":[74,592],"glance":[76],"extending":[79,545],"classic":[80,125,465,496],"variability":[81,126],"models":[82,127,301],"features":[85],"arithmetic":[87],"formats":[90],"<strong>DIMACS</strong>":[91],"Universal":[93],"Variability":[94],"Language":[95,232],"<strong>(UVL)</strong>":[96],"<strong><em>Numerical":[97],"Feature":[98],"Models</em></strong>":[99],"(NFMs)":[100],"must":[101,346,524,556,648],"be":[102,315,347,419],"defined":[103],"by":[106,120,132],"using":[107],"Nemo's":[108],"<em>.txt</em>":[113,530],"file.":[114,454,531,591],"transforms":[116],"optimize":[118],"NFMs":[119],"means":[121,256,724],"Bit-Blasting":[123],"into":[124,462,483,494,507],"which":[128],"then":[129],"are":[130,313,449,544,578,598,752,767],"supported":[131],"any":[133,757],"first-order":[134],"logic":[135],"reasoner.":[136],"outputs":[138],"three":[140,473],"formats:":[141],"a)":[142],"UVL":[144,463,485],"model,":[145,163,548],"b)":[146],"<strong>propositional":[148,158],"formula</strong>,":[149],"c)":[151],"Tseitin's":[153,509],"<em>Conjunctive":[154],"Normal":[155],"Form</em>":[156],"(CNF)":[157],"formula</strong>.":[159],"Besides":[160,710],"transformed":[162,584],"make":[165],"use":[166,380,716],"comment":[168],"lines":[169],"identify":[171],"each":[172],"original":[173],"name":[175,539,573],"domain":[177],"(i.e.,":[178],"or":[180,224,294,468],"numerical)":[181],"their":[183,318],"respectives":[184],"bit-blasted":[185],"features.":[186],"cross-platform":[190],"that":[192],"have":[193],"been":[194,328],"developed":[195],"Python":[197,331,712],"3.11.x.":[198],"Supported":[199],"Definitions":[200],"<strong>Feature":[201],"types</strong>:":[202],"boolean,":[203],"natural":[204],"integers.":[206],"<strong>Numerical":[207],"definitions</strong>:":[208],"constant,":[209],"ranges":[210],"enumerated.":[212],"<strong>Constraint":[213],"operations</strong>:":[214],"cross-tree":[215],"constraints":[216],"(equivalence,":[217],"implication":[218],"negation),":[220],"inequalities":[221],"(e.g.,":[222,229],"greater":[223],"equal)":[225],"mathematical":[227],"operators":[228],"multiplication).":[230],"Modeling":[231],"As":[233],"one":[234],"image":[235],"worth":[237],"thousand":[239],"words,":[240],"following":[242,606],"extended":[243],"example":[244,622],"shows":[245],"most":[246],"possibilities.":[249],"<code>def":[250,635],"A":[251,288,293,627,636,642],"bool":[252,260,270],"0":[253,255],"#":[254,262],"new":[257],"feature</code><br><code>def":[258],"B":[259,629,638,644],"f8":[261],"named":[263],"adjunt":[265],"FM":[266],"as":[267,306,308,723],"f8</code><br><code>def":[268],"C":[269,285,383,631,640],"0</code><br><code>def":[271],"D_unsigned":[272],"[0:1]</code><br><code>def":[273],"E_unsigned":[274],"[0:3]</code><br><code>def":[275,637,639],"F_signed":[276],"[-1:1]</code><br><code>def":[277],"G_enum_signed":[278],"[-9,":[279],"-3,":[280],"0,":[281],"3]</code><br><code>def":[282],"H_constant":[283],"[-2]</code><br><code>ct":[284],"-&gt;":[286,289],"B</code><br><code>ct":[287,295],"(G":[290],"=":[291],"0)</code><br><code>ct":[292],"(G_enum_signed*H_constant)":[296],"\u2264":[297],"E_unsigned</code>":[298],"Real":[299],"world":[300],"pre":[302],"post":[304],"transformation,":[305],"well":[307],"proper":[310],"inputs,":[312],"found":[316],"respective":[319],"folders":[320],"github":[323,771],"page.":[324,772],"Installation":[325],"has":[327],"tested":[329],"3.11":[332],"x86_64":[333],"at":[334],"moment,":[336],"up-to-date":[338],"libraries":[339],"(<code>pycosat</code>,":[340],"<code>files</code>,":[341],"<code>re</code>":[342],"<code>z3py</code>":[344],"modules":[345],"installed).":[348],"To":[349,379,400],"install":[350,398,402,405],"pycosat":[351],"windows:":[353],"Install":[354],"Microsoft":[355],"Build":[356],"Tools":[357],"Visual":[359],"Studio":[360],"16":[361],"Select:":[362],"Workloads":[363],"\u2192":[364],"C++":[365,385,394],"build":[366,395],"tools.":[367,396],"Select":[368],"only":[369],"\"Windows":[370],"10":[371],"SDK\"":[372],"(assuming":[373],"computer":[375],"Windows":[377],"10).":[378],"MSVC":[381],"cl.exe":[382],"/":[384],"compiler":[386],"from":[387],"command":[389],"line,":[390],"additionally":[391],"select":[392],"<code>pip":[397,404],"pycosat</code>":[399],"simply":[401],"Z3py:":[403],"z3-solver</code>":[406],"Now":[407],"you":[408,422,456,543,577],"can":[409],"pull/download":[410],"run":[412,425,437],"Nemo.":[413],"Usage":[414],"Run":[415],"<code>main.py</code>":[416],"You":[417,523,555],"will":[418],"asked:":[420],"<em>Do":[421,455],"want":[423,457],"model":[427,439,461,519,585],"Z3":[430,442,744],"SMT":[431,443,745],"solver":[432],"(y)?</em>":[433],"Answer":[434,478,489,502],"<code>y</code>":[435],"solver.":[444,746],"enumerated":[446],"generated":[447],"solutions":[448],"written":[450],"<em>smtsolutions.txt</em>":[453],"transform":[459,481,492,505],"(uvl),":[464],"PF":[466],"(pf),":[467],"Tseitin":[469],"DIMACS":[470,547],"(td)?</em>":[471],"options":[474],"bit-blast":[475],"mode.":[477],"<code>uvl</code>":[479],"it":[482,493,506,741],".uvl":[487],"extension.":[488,501,515],"<code>pf</code>":[490],"proposional":[497,511],"formula":[498,512],".txt":[500,520],"<code>td</code>":[503],"CNF":[510],".dimacs":[514],"<em>Which":[516],"transform?</em>":[522],"write":[525,550,557],"path/name":[527,559],"If":[532,566,576],"same":[535,569],"folder,":[536,570],"just":[537,571],"necessary.":[541,575],"<em>If":[542],"please":[549],"name,":[552],"BLANK":[553],"otherwise</em>.":[554],"<em>.dimacs</em>":[562],"file":[563],"evolve.":[565],"not":[579,739],"evolving,":[580],"press":[581],"Enter.":[582],"available":[587],"<em>transformedmodel.{uvl/txt/dimacs}</em>":[590],"all":[593,763],"cases,":[594],"terminal":[597],"presented:":[599],"Runtimes":[600],"seconds.":[602],"Calculated":[603,612],"<em>Defined":[604],"features</em>":[605],"(Name,":[608],"Adjusted_width,":[609],"Type)":[610],"format.":[611],"<em>Adjusted":[613],"constraints</em>":[614],"model.":[617],"Test":[618],"next":[620],"tiny":[621],"definition":[625],"+":[628,643],"&gt;=":[630,645],"2-bits":[633],"variables.":[634],"[0:3]</code><br><code>ct":[641],"c</code>":[646],"produce":[649],"54":[650],"different":[651],"valid":[652],"solutions.":[653],"Contact":[654],"Author":[655],"Code":[657],"Management":[658],"<strong>Daniel-Jesus":[659],"Munoz</strong>:":[660],"ITIS,":[661,676,688],"CAOSD,":[662,677,689],"Dpt.":[663,678,690],"LCC,":[664,679,691],"M\u00e1laga,":[667,682,694],"Andaluc\u00eda":[668,683,695],"Tech,":[669,684,696],"Spain":[670,685,697],"Other":[671],"Tool":[672],"Authors":[673],"<strong>M\u00f3nica":[674],"Pinto</strong>:":[675],"<strong>Lidia":[686],"Fuentes</strong>:":[687],"Publication":[698],"Supporters":[699],"<strong>Don":[700],"Batory</strong>:":[701],"Department":[702],"Computer":[704],"Science":[705],"Austin,":[706],"Texas,":[707],"USA":[708],"Credits":[709],"common":[711],"modules,":[713],"makes":[715],"tactics":[719],"functionality":[720],"Z3py,":[722],"base":[726],"transformations":[728],"solid":[731],"library.":[732],"Tactics":[733],"side":[736],"functionality,":[737],"do":[738],"confuse":[740],"Additional":[747],"corrections":[748],"pre-processing":[750],"optimizations":[751],"encoded":[753],"aside":[754],"library;":[756],"Z3py":[758],"modification":[759],"had":[760],"occurred":[761],"credits":[764],"issues":[766],"referred":[768]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}