Skip to content

Commit

Permalink
Update affiliation in AUTHORS
Browse files Browse the repository at this point in the history 
Co-authored-by: Andrew Reynolds <andrew.j.reynolds@gmail.com>
  • Loading branch information
@hansjoergschurr @ajreynol
hansjoergschurr and ajreynol authored Jan 24, 2024
1 parent d413dc0 commit 768847f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion AUTHORS
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ had more than one affiliated institution). See the file COPYING for details on
the copyright and licensing of alfc.

The developers and authors of alfc are:
Andrew Reynolds, The University of Iowa, EPFL
Andrew Reynolds, The University of Iowa, Amazon Web Services
Hans-Jörg Schurr, The University of Iowa

The alfc codebase contains some source code from the cvc5 project.
Expand Down

0 comments on commit 768847f

Please sign in to comment.