back to root

back to IJCAR 2020

about.

• Notification Bot

  2020-06-26 16:15:20 (GMT)

  Stream created by Simon Cruanes.

• Simon Cruanes

  2020-06-26 16:16:6 (GMT)

  Let's create one topic for each talk (that at least one person here attends and wants to share about)! :slight_smile:

• Petar Vukmirovic

  2020-06-26 16:38:11 (GMT)

  I will use this opportunity to promote my talks at PAAR(June 30. 13:30) and FSCD (July 2, 18:00)

• Petar Vukmirovic

  2020-06-26 16:38:41 (GMT)

  selfishly :slight_smile:

• Haniel Barbosa

  2020-06-26 16:50:8 (GMT)

  Reminds me I have to my slides...

• Giles

  2020-06-26 18:48:35 (GMT)

  Let me similarly promote our talks at PAAR (June 30th 15:00 and 16:00) and IJCAR (work of @Ahmed B ) (1st July 13:30 and 14:30, and 4th July 17:00)... it's going to be a busy week.

• Jasmin Blanchette

  2020-06-26 20:12:36 (GMT)

  Waldmann, Tourret, Robillard, and me (with Uwe talking) on 1 July at 14:00 at IJCAR, about a framework for proving dynamic completeness of calculi and given-clause-based provers.

  conference version · technical report

  (And in case you wonder about the reverse alphabetical authors' list: Uwe is bossed around by Sophie, who's bossed around by Simon, and guess who's the head honcho.)

• Simon Cruanes

  2020-06-26 20:13:42 (GMT)

  We should probably make one new topic per talk, but that can be done on the fly.

• Sophie Tourret

  2020-06-29 9:40:0 (GMT)

  I have created a whole steam just for PAAR where talks are grouped by sessions : #PAAR 2020 . The attendees of PAAR have been invited to register to Zulip to have discussions there. Lets see if it works, and feel free to use the "coffee breaks" topic to advertise your job offers and the like (@Giles ) today and tomorrow.

• Petar Vukmirovic

  2020-06-29 9:44:27 (GMT)

  Sophie, I did not seem to get PAAR Zoom coordinates

• Sophie Tourret

  2020-06-29 9:44:47 (GMT)

  Did you register for it?

• Sophie Tourret

  2020-06-29 9:45:28 (GMT)

  Anyway, I'll forward you the email. You can of course ignore the zulip invitation since you are already there!

• Petar Vukmirovic

  2020-06-29 9:45:58 (GMT)

  I thought FSCD/IJCAR registration is the same

• Sophie Tourret

  2020-06-29 9:46:19 (GMT)

  No, there is a separate registration link for all satellite events.

• Petar Vukmirovic

  2020-06-29 9:46:21 (GMT)

  but it maybe isn't> :innocent:

• Sophie Tourret

  2020-06-29 9:46:36 (GMT)

  Indeed ^^

• Hans-Jörg

  2020-06-29 9:48:17 (GMT)

  I'm happy that PAAR has such a stream. It's odd to not "see" other participants in anyway. There is the coffee break zoom too, but it was not heavily used just now.

• Sophie Tourret

  2020-06-29 9:48:54 (GMT)

  Well, PAAR only starts in a few hours...

• Hans-Jörg

  2020-06-29 9:51:24 (GMT)

  Right, but it wasn't heavily used by participants of other workshops either. ^^

• Stephan Schulz

  2020-06-29 10:52:46 (GMT)

  How do I find the coffee break room? And that reminds me - I need to make some coffee ;-)

• Hans-Jörg

  2020-06-29 10:58:9 (GMT)

  The Zoom room is the last Zoom link in the "[FSCD-IJCAR Workshops 2020] Day 1 - Practical information" mail from yesterday.

• Petar Vukmirovic

  2020-06-29 11:14:8 (GMT)

  When I click on that link it leads me here.
  Can you see the PAAR room?

• Hans-Jörg

  2020-06-29 11:14:37 (GMT)

  You can subscribe to it by clicking "Add streams". I had to do that.

• Petar Vukmirovic

  2020-06-29 11:15:35 (GMT)

  ok thanks :slight_smile:

• Stephan Schulz

  2020-06-29 11:40:9 (GMT)

  Aha! I did not get that Email - I registered for IJCAR ages ago, but for PAAR only tonight, after I found out that it needs a separate step....

• Jasmin Blanchette

  2020-06-29 11:53:21 (GMT)

  Same here, no email. Could somebody post the content of the email here?

• Petar Vukmirovic

  2020-06-29 11:54:25 (GMT)

  Hi Petar Vukmirovic,

  Thank you for registering for "Workshop on Practical Aspects of Automated Reasoning".

  Please submit any questions to: fscd-ijcar-4@univ-paris13.fr

  Date Time: Jun 29, 2020 12:30 PM Paris
  Every day, until Jun 30, 2020, 2 occurrence(s)
  Jun 29, 2020 12:30 PM
  Jun 30, 2020 12:30 PM
  Please download and import the following iCalendar (.ics) files to your calendar system.
  Daily: https://zoom.us/meeting/attendee/tJwkd-Gtpz8sGNcTx4G_rTVMYSpGBgP_9KfF/ics?user_id=oWEHZEb7QIaA4KzvD7M5AA

  Join from PC, Mac, Linux, iOS or Android: Click Here to Join
  Note: This link should not be shared with others; it is unique to you.
  Add to Calendar Add to Google Calendar Add to Yahoo Calendar

  Or iPhone one-tap
  US: +13017158592,,98908594623# or +13126266799,,98908594623#
  Or Telephone:
  Dial(for higher quality, dial a number based on your current location):
  US: +1 301 715 8592 or +1 312 626 6799 or +1 929 436 2866 or +1 253 215 8782 or +1 346 248 7799 or +1 669 900 6833
  Meeting ID: 989 0859 4623
  International numbers available: https://zoom.us/u/aeehjuJETf

  Or an H.323/SIP room system:
  H.323:
  162.255.37.11 (US West)
  162.255.36.11 (US East)
  115.114.131.7 (India Mumbai)
  115.114.115.7 (India Hyderabad)
  213.19.144.110 (EMEA)
  103.122.166.55 (Australia)
  209.9.211.110 (Hong Kong SAR)
  64.211.144.160 (Brazil)
  69.174.57.160 (Canada)
  207.226.132.110 (Japan)
  Meeting ID: 989 0859 4623

  SIP: 98908594623@zoomcrc.com
  

  You can cancel your registration at any time.

• Hans-Jörg

  2020-06-29 11:54:54 (GMT)

  [FSCD-IJCAR Workshops 2020] Day 1 - Practical information

  Dear participants,

  thank you for registering to the FSCD-IJCAR 2020 Workshops. We invite you to consult the workshops programme at the address:

  https://fscd-ijcar-2020.org/wsprogram/
  

  Please, take care of the time zone:

  ALL TIMES ARE LOCAL PARIS TIME
  CEST ZONE: CENTRAL EUROPEAN SUMMER TIME (DAYLIGHT SAVING TIME) - UTC+2

  If you click on the time on the left column of the live program you can see the corresponding time in your zone.

  Below are the Zoom registration links to register for the workshops meetings/webinars of June 29th. After registering, you will receive a confirmation email containing information about joining them. The links for the other workshops will be sent to you the eve of the corresponding workshop day.

  All sessions will be streamed on YouTube (but take into account that the streaming has a delay of at least 30 seconds w.r.t the live action). Streamings will be available through the main conference page.

  To let you socialise with the other workshop participants we have open a special “Coffee Break Room” meeting (see the link below), that will remain open all the day and that you can join to meet the other participants during coffee breaks.

  * Joint Workshop Linearity & Trends in Linear Logic and Applications 2020 (start: 9:30, AM Paris) *
  Link: https://zoom.us/webinar/register/WN_MW3wGjzcQWajsCZBeGYOig

  * UNIF 2020: The 34th International Workshop on Unification (start: 9:00, AM Paris) *
  Link: https://zoom.us/webinar/register/WN_RlcFV2ypTCmi64pHE5nuJA

  * WPTE 2020: International Workshop on Rewriting Techniques for Program Transformations and Evaluation (start: 9:30, AM Paris) *
  Link: https://zoom.us/webinar/register/WN_UGP33XK_QLiDhUF06RMWfQ

  * PAAR 2020: Seventh Workshop on Practical Aspects of Automated Reasoning (start: 13:45, AM Paris) *
  Link: https://zoom.us/meeting/register/tJwkd-Gtpz8sGNcTx4G_rTVMYSpGBgP_9KfF

  * Proof Ground - Interactive Proving Contests (start: 9:30, AM Paris) *
  Link: https://zoom.us/meeting/register/tJIufuygrj4tEtcJVX7s_ygbTYWNcDk1FZDr

  * LFMTP 2020: Logical Frameworks and Meta-Languages: Theory and Practice (start: 9:00, AM Paris) *
  Link: https://zoom.us/meeting/register/tJYpce6oqTIvGdTrVkWQQ7qzLZEVBE-vaa15

  * Coffee Break Room (start: 10:00, AM Paris) *
  During coffee breaks, feel free to visit our common socializing zone:
  https://zoom.us/meeting/register/tJUodu6vrTkiE9eLRQkYqaVaOLy7j_9q1wiC

  We believe that the advancement of research is best accomplished in an environment that is open, diverse and respectful to all participants.
  We will not tolerate any anti-social behaviour, in particular all participants are expected to embrace and follow the anti-harassment policy of ACM.
  https://www.acm.org/about-acm/policy-against-harassment

• Jasmin Blanchette

  2020-06-30 11:49:47 (GMT)

  Could someone post the Day 2 info? I must have registered too late and am not getting any emails.

• Simon Cruanes

  2020-06-30 11:50:29 (GMT)

  It's the same zoom links I think.

• Sophie Tourret

  2020-06-30 11:51:27 (GMT)

  Dear participants,

  thank you for registering to the FSCD-IJCAR 2020 Workshops. We invite you to consult the workshops programme at the address:

  https://fscd-ijcar-2020.org/wsprogram/
  

  Please, take care of the time zone:

  ALL TIMES ARE LOCAL PARIS TIME
  CEST ZONE: CENTRAL EUROPEAN SUMMER TIME (DAYLIGHT SAVING TIME) - UTC+2

  If you click on the time on the left column of the live program you can see the corresponding time in your zone.

  Below are the Zoom registration links to register for the workshops meetings/webinars of June 30th. After registering, you will receive a confirmation email containing information about joining them. The links for the other workshops will be sent to you the eve of the corresponding workshop day.

  All sessions will be streamed on YouTube (but take into account that the streaming has a delay of at least 30 seconds w.r.t the live action). Streamings will be available through the main conference page.

  To let you socialise with the other workshop participants we have open a special “Coffee Break Room” meeting (see the link below), that will remain open all the day and that you can join to meet the other participants during coffee breaks.

  * Joint Workshop Linearity & Trends in Linear Logic and Applications 2020 (start: 9:40, Paris) *
  Link: https://zoom.us/webinar/register/WN_MW3wGjzcQWajsCZBeGYOig

  * LFMTP 2020: Logical Frameworks and Meta-Languages: Theory and Practice (start: 9:30, Paris) *
  Link: https://zoom.us/meeting/register/tJYpce6oqTIvGdTrVkWQQ7qzLZEVBE-vaa15

  * PAAR 2020: Seventh Workshop on Practical Aspects of Automated Reasoning (start: 13:30, Paris) *
  Link: https://zoom.us/meeting/register/tJwkd-Gtpz8sGNcTx4G_rTVMYSpGBgP_9KfF

  * IWC 2020: 9th International Workshop on Confluence (start: 9:00, Paris) *
  Link: https://zoom.us/meeting/register/tJAkcu-rpjgtG9SWkKwnzNE29DQs6h8bjZ_8

  * Isabelle Workshop 2020 (start: 9:30, Paris) *
  Link: https://zoom.us/meeting/register/tJMkduyorjstHd2H0ePdIgSI4ml3reVt6gta

  * IFIP Working Group 1.6: Rewriting (start: 9:00, Paris) *
  Link: https://zoom.us/meeting/register/tJMrc-6sqD0jGNcGwciRuiOiChDpn5wmbWeB

  * 4th Women in Logic Workshop (WiL) 2020 (start: 9:00, Paris) *
  Link: https://zoom.us/meeting/register/tJYkcumhqzstGNSi8Oxy8y_PBBImO4bJzwUf

  * Coffee Break Room (start: 10:00, AM Paris) *
  During coffee breaks, feel free to visit our common socializing zone:
  https://zoom.us/meeting/register/tJUodu6vrTkiE9eLRQkYqaVaOLy7j_9q1wiC

  We believe that the advancement of research is best accomplished in an environment that is open, diverse and respectful to all participants.
  We will not tolerate any anti-social behaviour, in particular all participants are expected to embrace and follow the anti-harassment policy of ACM.
  https://www.acm.org/about-acm/policy-against-harassment

• Mathias Fleury

  2020-06-30 17:29:44 (GMT)

  For those who don't receive emails:

  [FSCD-IJCAR 2020] Practical information * ZOOM INVITATION INSIDE *

  Dear participants,

  This email contains participation instructions for the IJCAR-FSCD 2020 Joint Conference. Star it, save it, mark it important, etc.

  We invite you to consult the program at the address:

  https://fscd-ijcar-2020.org/program/

  Please pay attention to the timezone:

  ALL TIMES ARE LOCAL PARIS TIME
  CEST ZONE: CENTRAL EUROPEAN SUMMER TIME (DAYLIGHT SAVING TIME) = UTC+2 = GMT+2

  If you click on the time on the left column of the live program you can see the corresponding time in your zone.

  Below are the Zoom links to get access to the FSCD (Tracks A&B) and IJCAR (Tracks A&B) webinars.

  * FSCD - Track A (and FSCD-IJCAR Joint Sessions) *
  Zoom Link "FSCD A": https://zoom.us/webinar/register/WN_RyyQ9QakSDalnpHkrbTmMQ

  * FSCD - Track B *
  Zoom Link "FSCD B": https://zoom.us/webinar/register/WN_b9LQbGpBRJ2HkQHTDfAAbg

  * IJCAR - Track A (and IJCAR-FSCD Joint Sessions) *
  Zoom Link "IJCAR A": https://zoom.us/webinar/register/WN_3yP9BQXqTVWqGli8DNtjfg

  * IJCAR - Track B *
  Zoom Link "IJCAR B": https://zoom.us/webinar/register/WN_WBLysd5dQuK1bmfIJul2yg

  The links will remain the same during the whole duration of both IJCAR and FSCD, i.e., for all four days.

  After "registering" on Zoom, you will receive a confirmation email directly from Zoom and will be able to join the meeting.

  * REMARK ABOUT THE JOINT INVITED SPEAKERS *

  • René Thiemann's invited talk will be in FSCD Track A (Zoom link "FSCD A")

    (i.e., join the "FSCD A" webinar to listen to his talk.)

  • John Harrison's invited talk will be in IJCAR Track A (Zoom link "IJCAR A")

    (i.e., join the "IJCAR A" webinar to listen to his talk.)

  All sessions will be streamed on YouTube (but take into account that the streaming has a delay of at least 30 seconds w.r.t the live action). Links to the live streams will be available through the main conference page.

  To let you socialize with the other workshop participants we have open a special “Coffee Break Room” meeting (see the link below), that will remain open all the day and that you can join to meet the other participants during coffee breaks.

  * Coffee Break Room (start: 10:00, AM Paris) *
  During coffee breaks, feel free to visit our common socializing zone:
  https://zoom.us/meeting/register/tJUodu6vrTkiE9eLRQkYqaVaOLy7j_9q1wiC

  * CASC-J10 competition is held as part of IJCAR 2020 on July 2nd *
  Website: http://www.tptp.org/CASC/J10/
  Zoom Link: https://miami.zoom.us/meeting/register/tJwvfuCorTspHtTfQXXFMLIuIPR09HdbGplO

  * Anti-Harassment *
  We believe that the advancement of research is best accomplished in an environment that is open, diverse and respectful to all participants. We will not tolerate any anti-social behaviour. In particular, all participants are expected to embrace and follow the anti-harassment policy of the ACM.

  https://www.acm.org/about-acm/policy-against-harassment

  Best regards,
  the IJCAR-FSCD 2020 organizing team

  --
  Stefano Guerrini, FSCD Conference Chair
  Kaustuv Chaudhuri, IJCAR Conference Chair
  Giulio Manzonetto, Workshops Chair

• Haniel Barbosa

  2020-06-30 18:22:0 (GMT)

  IJCAR starts with a vengeance tomorrow. First section is very interesing :)

• Jasmin Blanchette

  2020-07-01 11:48:5 (GMT)

  On track B, Lochbihler & Traytel are putting on quite a show. It's worth watching, if not for the content, for the presentation techniques.

• Haniel Barbosa

  2020-07-01 11:54:1 (GMT)

  I had not realized there were parallel sessions :( I'll check that talk later then :)

• Alexander Bentkamp

  2020-07-01 11:55:41 (GMT)

  Where are the recordings available?

• Sophie Tourret

  2020-07-01 11:55:56 (GMT)

  here I think: https://www.youtube.com/channel/UC-qwJxBDDvp7K3kOdUhmeUw/featured

  

• Sophie Tourret

  2020-07-01 11:56:11 (GMT)

  They are not there yet but that is where they should be.

• Sophie Tourret

  2020-07-01 11:56:23 (GMT)

  Or do you want to talk about the live streams?

• Haniel Barbosa

  2020-07-01 11:57:1 (GMT)

  Where did you find the youtube link?

• Haniel Barbosa

  2020-07-01 11:57:4 (GMT)

  I was looking for it

• Sophie Tourret

  2020-07-01 11:57:24 (GMT)

  I searched for fscd-ijcar 2020 in youtube

• Alexander Bentkamp

  2020-07-01 11:57:29 (GMT)

  Or do you want to talk about the live streams?

  No, the youtube link is what I was looking for, too.

• Haniel Barbosa

  2020-07-01 11:57:41 (GMT)

  But there were going to be live ones?

• Haniel Barbosa

  2020-07-01 11:57:50 (GMT)

  in sync with the zoom sessions

• Sophie Tourret

  2020-07-01 11:58:21 (GMT)

  Here is the stream link for session IJCAR A: https://youtu.be/lwDMi0SfVzg

  

• Sophie Tourret

  2020-07-01 12:27:43 (GMT)

  On the fscd-ijcar 2020 website, I found an even better link for the live streams (you can access any of the m from here): https://www.youtube.com/playlist?list=PLl1dj5prwUJzc1P5_k4GvlUrmwo3OWrUU

• Haniel Barbosa

  2020-07-01 12:42:52 (GMT)

  Ugh, I thought that one was automatically muted back after asking a question.

• Haniel Barbosa

  2020-07-01 12:43:4 (GMT)

  This zoom setup used for IJCAR I had never used before

• Sophie Tourret

  2020-07-01 12:43:35 (GMT)

  Do you mean the webinars?

• Haniel Barbosa

  2020-07-01 12:43:49 (GMT)

  Yeah, if that's what's called

• Haniel Barbosa

  2020-07-01 12:44:6 (GMT)

  there is some construction going on close to here and it was noisy

• Sophie Tourret

  2020-07-01 12:44:9 (GMT)

  I think it puts a lot of charge on the shoulders of the host

• Haniel Barbosa

  2020-07-01 12:44:23 (GMT)

  Yeah, it seems so. Jeremy seemed to be struggling a bit

• Haniel Barbosa

  2020-07-01 13:1:1 (GMT)

  the coffee break track does not seem very popular

• Jasmin Blanchette

  2020-07-01 13:5:9 (GMT)

  I kind of saw this coming and cowardly ignored all requests to become a session chair. ;)

• Haniel Barbosa

  2020-07-02 17:14:2 (GMT)

  CADE is gonna be in Pittusburg, had no idea

• Simon Cruanes

  2020-07-02 17:14:27 (GMT)

  A good opportunity to talk to Marijn!

• Sophie Tourret

  2020-07-03 12:2:53 (GMT)

  So @Pascal Fontaine 's politeness paper got best paper award. Congrats!

  By the way, the chat message said co-winner. Who else got it?

• Mathias Fleury

  2020-07-03 12:4:40 (GMT)

  Joshua Brakensiek, Marijn Heule, John Mackey and David Narvaez for solving Keller's conjecture

• Sophie Tourret

  2020-07-03 12:5:38 (GMT)

  Thanks!

• Sophie Tourret

  2020-07-03 13:53:31 (GMT)

  The solution was like always in life, be lazy

  Ruzica Piskac

  :smiley:

• Sophie Tourret

  2020-07-03 13:55:45 (GMT)

  I know this is kind of a classic in our field, but it is nice to be reminded of it in a great talk!

• Haniel Barbosa

  2020-07-03 13:58:45 (GMT)

  Don't do today what you can do tomorrow. Pretty much how I lead my professional life

• Jasmin Blanchette

  2020-07-03 13:59:57 (GMT)

  I'd noticed. ;)

• Haniel Barbosa

  2020-07-03 14:0:34 (GMT)

  :P

• Jasmin Blanchette

  2020-07-03 14:0:59 (GMT)

  You seemed to be shocked when I proposed we start writing our CADE paper two months before the deadline.

• Haniel Barbosa

  2020-07-03 14:3:13 (GMT)

  hahaha it's good practice though! I should do that more

• Simon Cruanes

  2020-07-03 14:3:34 (GMT)

  You mean after the deadline, right?

• Jasmin Blanchette

  2020-07-03 14:11:18 (GMT)

  I'm working on my next CADE submissions right now. Is that after the deadline or before the deadline?

• Simon Cruanes

  2020-07-03 14:14:23 (GMT)

  I hope it stars with "nun" and ends with "ku" :joy: (just kidding)

• Jasmin Blanchette

  2020-07-03 14:16:17 (GMT)

  It starts with "su" and ends with "ic". ;)

• Jasmin Blanchette

  2020-07-03 14:18:4 (GMT)

  I think we perform too many needless ArgCong inferences and want to curb that.

• Petar Vukmirovic

  2020-07-03 16:39:23 (GMT)

  Sophie Tourret said:

  So Pascal Fontaine 's politeness paper got best paper award. Congrats!

  By the way, the chat message said co-winner. Who else got it?

  Congratulations :slight_smile:

• Haniel Barbosa

  2020-07-04 12:55:20 (GMT)

  Rereading your question in the Q&A @Sophie Tourret I think I misunderstood it a bit. I thought you were asking in creating a grammar for a specific problem but you were wondering for new logics, presumably for the ones we do not have a default grammar for?

• Sophie Tourret

  2020-07-04 12:55:40 (GMT)

  yes

• Haniel Barbosa

  2020-07-04 12:56:2 (GMT)

  The answer does not change much though, it's easy. One just has to determine what are the operators of the theory and build the proper datatype (we use datatypes to encode the grammars internally)

• Sophie Tourret

  2020-07-04 12:56:11 (GMT)

  By the way, thanks for the nice talk! :slight_smile:

• Haniel Barbosa

  2020-07-04 12:56:17 (GMT)

  The gap is basically because we do it on a on-demand basis

• Haniel Barbosa

  2020-07-04 12:56:27 (GMT)

  Thanks, I'm glad you liked it :)

• Sophie Tourret

  2020-07-04 12:57:6 (GMT)

  It is very interesting how you use counter-examples to filter the candidates.

• Haniel Barbosa

  2020-07-04 12:58:23 (GMT)

  Yes, it's what really makes a difference (the rest of the process is standard SyGuS). This is tightly tied with other work in SyGuS solving for using counterexamples to better guide the search. But while these approaches are general-purpose we did this one to leverage the specific shape of the abduction problem, the fact that you have two somewhat independent things to meet (consistency with the axioms and entailing the goal)

• Renate Schmidt

  2020-07-04 14:24:1 (GMT)

  Hi Haniel, great talk and nice work!
  Have you got experience with allowing disjunction in the solutions? Is that allowed and what about quantification?

• Haniel Barbosa

  2020-07-04 14:33:45 (GMT)

  Thanks, @Renate Schmidt !

• Haniel Barbosa

  2020-07-04 14:33:48 (GMT)

  We can allow disjunctions in the solutions, yes. In this particular work we generate disjunctive solutions when generating solutions incrementally and optimizing for logical weakness. But when finding for a single abduct we could include disjunctions directly (it's just a matter of including it or not in the grammar).

• Haniel Barbosa

  2020-07-04 14:35:5 (GMT)

  We can also include quantifiers. The difficulty there is that the search space increases significantly and that the satisfiability check for verifying candidate solutions (when the previous counterexamples don't rule them out) can be undecidable. But it is supported

• Haniel Barbosa

  2020-07-04 14:35:47 (GMT)

  (in the paper we have a note specifically about that)

• Renate Schmidt

  2020-07-04 14:36:40 (GMT)

  Cool, thanks!

• Haniel Barbosa

  2020-07-04 14:36:56 (GMT)

  An interesting note also is that when generating abducts in QF_UFLIA the background theory for the verification of candidate solutions was higher-order, but it works since CVC4 supports it :)

• Renate Schmidt

  2020-07-04 14:37:21 (GMT)

  :+1: