March 17, 2023 Software Open Access

Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Frederik Baymler Mathiesen; Lasse Peters; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; viryfrederic

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Christian Schilling</dc:creator>
  <dc:creator>Marcelo Forets</dc:creator>
  <dc:creator>Luca Ferranti</dc:creator>
  <dc:creator>Sebastián Guadalupe</dc:creator>
  <dc:creator>kpotomkin</dc:creator>
  <dc:creator>Mauricio Vanzulli</dc:creator>
  <dc:creator>ueliwechsler</dc:creator>
  <dc:creator>Bruno Garate</dc:creator>
  <dc:creator>tomerarnon</dc:creator>
  <dc:creator>Daniel Freire Caporale</dc:creator>
  <dc:creator>Ryan Birmingham</dc:creator>
  <dc:creator>nikos-kekatos</dc:creator>
  <dc:creator>Frederik Baymler Mathiesen</dc:creator>
  <dc:creator>Lasse Peters</dc:creator>
  <dc:creator>Aadesh Deshmukh</dc:creator>
  <dc:creator>David Reguera</dc:creator>
  <dc:creator>Gustavo Goretkin</dc:creator>
  <dc:creator>Julia TagBot</dc:creator>
  <dc:creator>Morten Piibeleht</dc:creator>
  <dc:creator>Peng Yu</dc:creator>
  <dc:creator>viryfrederic</dc:creator>
  <dc:date>2023-03-17</dc:date>
  <dc:description>LazySets v2.7.0
Diff since v2.6.0
Closed issues:

Generalize methods to AbstractPolyhedron (#1078)
Conversion from simple HRep to list of constraints (#1610)
Remove N&lt;:Real annotation (#2219)
vertices_list of an empty HParallelotope is non-empty (#2786)
Random parallelotope generation often returns an empty set (#3203)
Documentation Update section causes error (#3242)

Merged pull requests:

#2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)
#3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)
#1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)
#2219 - Remove remaining N&lt;:Real annotations (#3236) (@schillic)
Update manual (getting started) (#3243) (@schillic)
Move some code to interface files (#3244) (@schillic)
Remove dependency on JuMP.MOI (#3245) (@schillic)
</dc:description>
  <dc:identifier>https://zenodo.org/record/7746653</dc:identifier>
  <dc:identifier>10.5281/zenodo.7746653</dc:identifier>
  <dc:identifier>oai:zenodo.org:7746653</dc:identifier>
  <dc:relation>url:https://github.com/JuliaReach/LazySets.jl/tree/v2.7.0</dc:relation>
  <dc:relation>doi:10.5281/zenodo.1161710</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:title>JuliaReach/LazySets.jl: v2.7.0</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>